ラムダでテンプレート化されたオブジェクトを返す方法は？

Question

は、次のコードを考えてみましょう：私はそのテンプレート型引数を指定せずにLambdaSubtaskオブジェクトを宣言することはできません、それはラムダですので、私はそのテンプレート型引数を指定することはできませんので、私はファクトリメソッドを実装しよう

class BaseTask { 
    // Implementation here 
}; 

class BaseSubtask { 
    BaseTask *_pTask; 
public: 
    explicit BaseSubtask(BaseTask *pTask) : _pTask(pTask) { } 
    virtual void Run() = 0; 
    // The rest of implementation here. 
}; 

template<typename taFunc> class LambdaSubtask { 
    taFunc _f; 
public: 
    explicit LambdaSubtask(BaseTask *pTask, taFunc&& f) 
    : BaseSubtask(pTask), _f(std::forward<taFunc>(f)) 
    { } 
    LambdaSubtask(const LambdaSubtask&) = delete; 
    LambdaSubtask& operator=(const LambdaSubtask&) = delete; 
    LambdaSubtask(LambdaSubtask&&) = delete; 
    LambdaSubtask& operator=(LambdaSubtask&&) = delete; 
    virtual void Run() override final { _f(); } 
    // The rest of implementation here 
}; 

を：

適切で

copy-list-initialization of LambdaSubtask<lambda_...> cannot use an explicit constructor

：残念ながら、これはコンパイルエラーを与える

template<typename taFunc> inline LambdaSubtask<taFunc> 
MakeLambdaSubtask(BaseTask *pTask, taFunc&& f) { 
    return { pTask, std::forward<taFunc>(f) }; 
} 

次のようにファクトリメソッドは、私がLambdaSubtaskオブジェクトを取得できます。

BaseTask task; // Initialization of the task is skipped in the example 
auto&& lst = MakeLambdaSubtask(&task, [/* Capture here*/]() { 
    // Implementation here 
}); 

だから、基本的に私は、テンプレートの種類は、ラムダことで、LambdaSubtask型のローカル変数オブジェクトをしたいです。私は何かを余分にコピーしないようにしたい。確かに私はベンチマークが非常に遅いことを示すようにstd::functionを避けたいと思う。

適切なファクトリメソッドを実装する方法、またはローカル変数オブジェクトLambdaSubtaskを別の方法で取得する方法を知っていますか？

コンパイラはMSVC++ 2017でツールセットv141を使用しているため、C++ 11/14/17は部分的にサポートされています。

Answer 1

基本的に、あなたはこれを行うにしようとしています。回避策は、明示的に次のように構成することです：

X foo() { return X{4}; } 
//    ^^^ 

注意：C++ 17では、これはコピーまたは移動を行わないことに注意してください。 C++ 14より前のバージョンでは、コピーや移動のいずれも発生しませんでしたが、移動はまだ整形式でなければなりません。

もう1つの方法は、コンストラクタからexplicitマークを削除することです。これは、braced-init-listを返さないようにするものです。サイドノートとして

---

、にご注意：あなたが左辺値の関数に渡されている場合は

template<typename taFunc> 
LambdaSubtask<taFunc> MakeLambdaSubtask(BaseTask *pTask, taFunc&& f) { ... } 

、あなたはそれへの参照を保持しようとしている - そのためには、余分な寿命ですあなたは心配する必要があります。このため、代わりにLambdaSubtask<std::decay_t<taFunc>>を返すのが一般的です。これにより、サブタスクが有効期間内に有効な機能を持つことが保証されます。

Answer 2

ラムダコンストラクタを明示的に宣言することで、自分自身で行いました。明示的に削除すると、コードがコンパイルされます。

統一リストの初期化は、明示的なコンストラクタでは機能しません。 Xコンストラクタがexplicitであり、あなたがコピーリストの初期化をやっているので、動作しません

struct X { 
    explicit X(int) { } 
}; 

X foo() { return {4}; } 

：