वापसी प्रारंभकर्ता सूची के बजाय वेक्टर :: समारोह

Question

संपादित करें: यह जुड़ा हुआ सवाल (जो मेरा भी है) के दोहराया नहीं है। यहां सभी रिटर्न प्रकार std::vector हैं। मैं initializer-list वापस नहीं करना चाहता हूं। मैं वापस आ std::vectorinitializer-list से भरना चाहते हैं सीधे

हमें उन चार मामलों लेते हैं:

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}; 
}; 

क्यों 4 स्वीकार्य नहीं है 2 के बाद से स्वीकार्य है? उनके बीच क्या अंतर है? इसके अलावा, सबसे अजीब बात यह है कि इस स्वीकार्य है:

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

क्या std::function और initializer-list साथ गलत क्या है?

Answer 1

auto bar=[]()->std::vector<int>{std::vector<int> होने के लिए लैम्ब्डा bar का रिटर्न प्रकार निर्दिष्ट करता है।

std::function<std::vector<int>()> foo=[](){foo का रिटर्न प्रकार निर्दिष्ट नहीं करता है, क्योंकि आप पहली बार लैम्ब्डा के रिटर्न प्रकार को कम करते हैं, फिर इसे असाइन करें।

सी ++ खाता क्या आप जब एक प्रकार पर निर्णय लेने के लिए लैम्ब्डा असाइन कर सकते हैं पर ध्यान नहीं देता है, यह {1}, लौट जो एक 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<> घोषणा का प्रकार लैम्ब्डा अभिव्यक्ति के विश्लेषण में प्रचार नहीं करता है; लैम्बडा को आस-पास की अभिव्यक्ति से स्वतंत्र रूप से पार्स किया जाता है।

मुझे यकीन नहीं है कि यह सी ++ भाषा मानक या वास्तविक दुनिया के कंपाइलरों की सीमाओं की एक विशेषता है (मैंने g++ -std=c++11 के साथ परीक्षण किया), क्योंकि मैं एक भाषा वकील का अधिक नहीं हूं।

Answer 3

में लैम्ब्डा की वापसी प्रकार (4) auto, और नहीं std::vector में के रूप में है (2) और अपने अंतिम नमूना है, जहां आप अभी भी एक लैम्ब्डा प्रयोग कर रहे हैं, लेकिन वापसी प्रकार मजबूर में के रूप में।

return {1} में auto की कटौती std::initializer_list<int>() की ओर जाता है, कि std::vector<int>()std::function उम्मीद से अलग है।