std :: functionのベクタの代わりにイニシャライザリストを返します。

Question

編集：これはリンクされた質問（これも私のものです）と重複しません。戻り値の型はすべてstd::vectorです。私は 返信したくないinitializer-listを返します。私はinitializer-listによって返さ std::vectorを埋めたい直接

は、私たちは、これらの4例を見てみましょう：

1）

//Acceptable 
std::vector<int> foo(){ 
    return std::vector<int>{1}; 
} 

2）

//Acceptable 
std::vector<int> foo(){ 
    return {1};  
} 

3）

//Acceptable 
std::function<std::vector<int>()> foo=[](){ 
    return std::vector<int>{1}; 
}; 

4）

//NOT Acceptable 
std::function<std::vector<int>()> foo=[](){ 
    return {1}; 
}; 

2が許容可能であるので、4が受け入れられないのはなぜ？彼らの間には何が違うのですか？また、これは許容可能であることが最も奇妙なことは：

//Acceptable 
auto bar=[]()->std::vector<int>{ 
    return {1}; 
}; 

std::functionとinitializer-listの何が問題になっているのですか？

Answer 1

auto bar=[]()->std::vector<int>{は、barの戻りタイプをstd::vector<int>と指定しています。

std::function<std::vector<int>()> foo=[](){は、最初にラムダの戻り値の型を推定してから割り当てますので、戻り値の型はfooではありません。

C++では、型を決定するときにラムダを割り当てることは考慮されていません。戻り値は{0}です。std::initializer_list<int>です。これはstd::function<std::vector<int>>と互換性がありません。

Answer 2

この変化は、コンパイルされます。

std::function<std::vector<int>()> foo=[]()->std::vector<int>{ 
    return {1}; 
}; 

これは、ラムダ式で明示的な戻り値の型を除いて、あなたのケース4と同じです。これは、std::function<>宣言の型がラムダ式の解析に伝播しないことを示しています。ラムダは周囲の式とは独立して解析されます。

これはC++言語標準の機能であるか、現実のコンパイラの制限（私はg++ -std=c++11でテストしました）の制限であるかどうかはわかりません。なぜなら私はあまり言語弁護士ではないからです。 （4）中のラムダの

Answer 3

戻り値の型はautoではなく、std::vector（2）のように、あなたはまだラムダを使用しますが、戻り値の型を余儀なくされ、あなたの最後のサンプル、のように。 return {1}で

autoの控除はそれがstd::vector<int>()std::functionを期待異なるだ、std::initializer_list<int>()につながります。