在以下示例中,对mkPair2
的调用类型推断失败:
#include <functional>
template <class A, class B>
struct Pair {
A left; B right;
};
template <class A, class B>
Pair<A,B> mkPair1 (A left, B right) {
return (Pair<A,B>) { left, right };
}
template <class A, class B>
std::function<Pair<A,B>(B)> mkPair2 (A left) {
return [left] (B right) {
return (Pair<A,B>) { left, right };
};
}
Pair<int, char> ex1 = mkPair1 (2, 'a');
Pair<int, char> ex2 = mkPair2 (2) ('a');
问题是mkPair2
有两个模板参数,但调用(2)
只提供其中一个,所以编译器会立即举手并决定程序是不明确的,即使第二种类型可以从以下('a')
推断出来呼叫。
这可以通过手动为编译器提供类型mkPair2<int,char> (2) ('a')
来解决,但是必须像编译器那样快速地保持旧的编译器。
有没有办法欺骗编译器继续进行类型检查,前提是每种类型最终都会得到解决?
即使第二种类型可以从以下('a')调用中推断出来。
是的,可以推断,但C ++的规则不允许这样做。类型推导仅与函数参数一起发生。因此,如果缺少模板参数的函数参数,则需要自己指定。
也就是说,C ++ 14的自动返回类型演绎和通用lambdas将使您不必指定任何内容。您可以将代码重写为
template <class A, class B>
struct Pair {
A left; B right;
};
template <class A, class B>
auto mkPair1 (A left, B right) {
return Pair<A,B>{ left, right };
}
template <class A>
auto mkPair2 (A left) {
return [left] (auto right) {
return Pair<A, decltype(right)>{ left, right };
};
}
Pair<int, char> ex1 = mkPair1 (2, 'a');
Pair<int, char> ex2 = mkPair2 (2) ('a');
一切都将为您推断。它还返回lambda对象,而不是std::function
,因此您可以避免std::function
使用的类型擦除的成本。
除了@ NathanOliver的答案之外,您还可以通过自己创建等效的通用lambda来使其适用于C ++ 11:
template <class A>
struct X {
A left;
X(A left) : left(left) {}
template <class B>
Pair<A,B> operator()(B right) {
return Pair<A,B>{left, right};
}
};
然后:
template <class A>
X<A> mkPair2(A left) {
return X<A>(left);
}