*＆オブジェクトを返すときに、コピー/移動エリーションは許可されていますか？このコードでは

Question

ルック：クラスの戻り値の型を持つ関数内のreturn文で

：許可/移動エリジオンをコピー

#include <stdio.h> 

struct Foo { 
    Foo() { } 
    Foo(const Foo &) { printf("copy\n"); } 
    Foo(Foo &&) { printf("move\n"); } 
}; 

Foo getFoo() { 
    Foo f; 
    return *&f; 
} 

int main() { 
    getFoo(); 
} 

C++ 14標準が言う（12.8/31） 式が、ファンクションの戻り値の型として同じ型の 型の不揮発性自動オブジェクト（ ファンクションまたはキャッチ節パラメータ以外）の名前である場合、コピー/移動操作は を省略することができます自動的にオブジェクトをに直接組み込むことによって関数の戻り値

私の例では、戻り式は名前ではないため、elisionは許可されていません。

私はGCC/clang/MSVCをチェックしていますが、clang/MSVCはコピーを消去しませんが、GCCはそれを行います。 GCCはここで標準に違反していますか？

Answer 1

第1に、コピーアンドムーブコンストラクタには副作用（IOを実行する）があるため、「仮」ルールはここでは適用されません。したがって、GCCは、その見出しのもとでコピー/移動を逃すことはできません。

一見したところ、私はelisionを許可する言葉を見ることができないので、GCCのバグだと思う。一方、私はコピー/ムーブ・エリシジョンの範囲を広げて、このケースを含めることを標準としたい。 （あなたが提示した最小限の例では、どのように問題が発生するのかわかりません - 私は、あなたがどこに大きな例があるのか​​推測しています）。