首頁猿問當涉及std：function或l...

當涉及std：function或lambda函數(shù)時，C+11不推斷類型

C++ C

縹緲止盈 2019-07-12 15:02:50

當涉及std：function或lambda函數(shù)時，C+11不推斷類型當我定義這個函數(shù)時，template<class A>set<A> test(const set<A>& input) { return input;}我可以用test(mySet)在代碼的其他地方，無需顯式定義模板類型。但是，當我使用以下函數(shù)時：template<class A>set<A> filter(const set<A>& input,function<bool(A)> compare) { set<A> ret; for(auto it = input.begin(); it != input.end(); it++) { if(compare(*it)) { ret.insert(*it); } } return ret;}當我調(diào)用此函數(shù)時，使用filter(mySet,[](int i) { return i%2==0; });我得到以下錯誤：錯誤：沒有調(diào)用‘filter’的匹配函數(shù)(std：set&，main()：)然而，所有這些版本做工作：std::function<bool(int)> func = [](int i) { return i%2 ==0; };set<int> myNewSet = filter(mySet,func); set<int> myNewSet = filter<int>(mySet,[](int i) { return i%2==0; }); set<int> myNewSet = filter(mySet,function<bool(int)>([](int i){return i%2==0;}));當我將lambda函數(shù)直接放入表達式而不直接創(chuàng)建std::function?編輯：根據(jù)注釋中Luc Danton的建議，這里有一個替代函數(shù)，它不需要顯式傳遞模板。template<class A,class CompareFunction>set<A> filter(const set<A>& input,CompareFunction compare) { set<A> ret; for(auto it = input.begin(); it != input.end(); it++) { if(compare(*it)) { ret.insert(*it); } } return ret;}這可以被set<int> result = filter(myIntSet,[](int i) { i % 2 == 0; });而不需要模板。編譯器甚至可以在某種程度上猜測返回類型，使用新的Dectype關(guān)鍵字和使用新函數(shù)返回類型語法。下面是一個示例，它使用一個過濾函數(shù)和一個基于值生成鍵的函數(shù)將集合轉(zhuǎn)換為映射：template<class Value,class CompareType,class IndexType>auto filter(const set<Value>& input,CompareType compare,IndexType index) -> map<decltype(index(*(input.begin()))),Value> { map<decltype(index(*(input.begin()))),Value> ret; for(auto it = input.begin(); it != input.end(); it++) { if(compare(*it)) { ret[index(*it)] = *it; } } return ret;}也可以在不直接使用模板的情況下調(diào)用它，如map<string,int> s = filter(myIntSet,[](int i) { return i%2==0; },[](int i) { return toString(i); });

查看完整描述

3 回答

慕姐8265434

TA貢獻1813條經(jīng)驗獲得超2個贊

別管你的案子了。因為這太復(fù)雜了，無法進行分析。

以這個簡單的例子為例：

 template<typename T>
 struct X 
 {
     X(T data) {}
 };

 template<typename T>
 void f(X<T> x) {}

現(xiàn)在打電話f作為：

 f(10);

在這里你可能會想T將被推斷為int 和因此，上述函數(shù)調(diào)用應(yīng)該可以工作。但事實并非如此。為了保持簡單，想象一下另一個構(gòu)造函數(shù)int作為：

 template<typename T>
 struct X 
 {
     X(T data) {}
     X(int data) {} //another constructor
 };

現(xiàn)在呢T當我寫的時候f(10)？井,T能任何類型。

請注意，可能還有許多其他這樣的情況。以這種專業(yè)化為例：

 template<typename T>
 struct X<T*>         //specialized for pointers
 {
    X(int data) {}; 
 };

現(xiàn)在呢T應(yīng)推斷為呼叫f(10)？現(xiàn)在似乎更難了。

因此，它是不可還原的上下文，這解釋了為什么您的代碼不能工作。std::function這是一個相同的情況-只是表面看上去很復(fù)雜。請注意蘭巴斯非類型std::function-它們基本上是編譯器生成類的實例(即它們是編譯器生成的類的函子異類類型比std::function).

反對回復(fù) 2019-07-12

蕪湖不蕪

TA貢獻1796條經(jīng)驗獲得超7個贊

如果我們有：

template <typename R, typename T>int myfunc(std::function<R(T)> lambda){
  return lambda(2);}int r = myfunc([](int i) { return i + 1; });

它不會編譯。但如果你之前聲明：

template <typename Func, typename Arg1>static auto getFuncType(Func* func = nullptr, Arg1* arg1 = nullptr) -> decltype((*func)(*arg1));
template <typename Func>int myfunc(Func lambda){
  return myfunc<int, decltype(getFuncType<Func, int>())>(lambda);}

您可以使用lambda參數(shù)毫無問題地調(diào)用函數(shù)。

這里有兩個新代碼。

首先，我們有一個函數(shù)聲明，它僅適用于根據(jù)給定的模板參數(shù)返回一個舊的函數(shù)指針類型：

template <typename Func, typename Arg1>static auto getFuncType(Func* func = nullptr, Arg1* arg1 = nullptr) -> decltype((*func)(*arg1)) {};

其次，我們有一個函數(shù)，它接受一個模板參數(shù)來構(gòu)建我們期望的lambda類型，調(diào)用‘getFuncType’：

template <typename Func>int myfunc(Func lambda){
  return myfunc<int, decltype(getFuncType<Func, int>())>(lambda);}

有了正確的模板參數(shù)，現(xiàn)在我們可以調(diào)用真正的‘myfunc’。完整的代碼是：

template <typename R, typename T>int myfunc(std::function<R(T)> lambda){
  return lambda(2);}template <typename Func, typename Arg1>static auto getFuncType(Func* func = nullptr, Arg1* arg1 = nullptr) -> 
  decltype((*func)(*arg1)) {};template <typename Func>int myfunc(Func lambda){
  return myfunc<int, decltype(getFuncType<Func, int>())>(lambda);}int r = myfunc([](int i) { return i + 1; });

您可以為“getFuncType”聲明與lambda參數(shù)匹配的任何重載。例如：

template <typename Func, typename Arg1, typename Arg2>static auto getFuncType(Func* func = nullptr, Arg1* arg1 = nullptr, Arg2*
 arg2 = nullptr) -> decltype((*func)(*arg1, *arg2)) {};

反對回復(fù) 2019-07-12