テンプレートコンストラクタ（std :: functionとmini case）によってコンストラクタトリガが予期せず移動する

Question

以下のコードでは、Fのmove ctorが呼び出されるのはなぜですか？

std :: functionをラップしようとしたときに私はこの問題に遭遇し、内部ファンクタが構築中に2回移動したことに驚きました。

（G ++ 4.8.x-5.3.xを使用して）

#include <iostream> 
using namespace std; 

struct F { 
    F() { cout << "F()" << endl; } 
    F(const F &) { cout << "F(const F &)" << endl; } 
    F(F &&) { 
     cout << "F(F &&)" << endl; 
    } 

    void operator()() { cout << "F::()()" << endl;} 
}; 

struct I { 
#if 0 
    // F's move ctor not invoked 
    I(F &&) { } 
#else 
    // F's move ctor invoked, why? 
    template<typename FT, typename = void> 
    I(FT) { } // Simulate std::function ctor prototype 
#endif 
}; 

struct FF { 
    FF(F &&f) : _impl(std::move(f)) {} // [line1] Debugger show source here 
    I _impl; 
}; 

int main() { 
    FF ff = F(); 
    (void)ff; 
    cout << "----" << endl; 
    return 0; 
} 

GDBは[LINE1]によって呼び出され、予期しない移動CTORことを示しているが、私はそれを理解することができません。 誰も私にそれを説明できますか？

さらに、私の実際のケースでは（クラスIをstd :: functionに置き換えて）、内部ファンクタFを2回動かさずにラッパークラスFFを構築する方法はありますか？

Answer 1

Iコンストラクタのテンプレートバージョンは、rvalue参照ではなく値でパラメータを受け取ります。 by-valueパラメータは、あなたが不思議に思う移動コンストラクタの呼び出しによって構築されます。

代わりに '汎用参照'スタイルのコンストラクタが必要です。このコンストラクタは、そのパラメータを右辺値参照として宣言します。これは、std::functionと他の構成で使用される完全転送を可能にするイディオムです。

ので変更：

template<typename FT, typename = void> 
I(FT) { } // Simulate std::function ctor prototype 

へ：

template<typename FT, typename = void> 
I(FT&&) { } // Simulate std::function ctor prototype 

はやや手の込んだ：あなたが考えているかもしれない、単にあなたの呼び出しで右辺値参照型を持つ値を提供することにより、コンパイラが希望値FTを値面参照としてインスタンス化します（F&&）。しかし、この状況でテンプレート減算がどのように機能するかは異なりません。コンパイラは「崩壊」タイプ（この場合はF）のみを推論します。パラメータを参照にする場合は、パラメータとして参照型を明示的に指定する必要があります。