c++ - 模板功能的小烦恼

Question

好的，假设我有这样的功能

template <typename T>
void Func(std::vector<T> x, T alpha = 1)
{
    // ... do stuff
}

我想用一个复杂的类型，像这样

std::vector<std::complex<double>> x;
Func(x, 5.5);

然后编译器抱怨（VS2010）template parameter 'T' is ambiguous因为它could be 'double' or 'std::complex<double>'. 明显的修复，这样称呼它

Func(x, std::complex<double>(5.5));

但是，那个，我不想要。为什么不能自动转换为复杂类型？

Answer 1

它不起作用的原因是因为第一个参数导致T被推断为，std::complex<double>而第二个参数导致它被推断为double。它在推导参数时根本不考虑转换。显然，这使得推论变得模棱两可。

您可以在助手的帮助下强制第二个参数类型不可推导identity：

template <typename T>
struct identity { typedef T type; };

template <typename T>
void Func(std::vector<T> x, typename identity<T>::type alpha = 1)
{
    // ... do stuff
}

Answer 2

这个怎么样？

template<typename T>
struct identity {
    typedef T type;
};

template <typename T>
void Func(std::vector<T> x, typename identity<T>::type alpha = 1)
{
    // ... do stuff
}

第二个参数不参与模板参数推导，将使用向量模板参数。

Answer 3

如果您需要一个类型与包含类型不同的默认参数，只需使用两种不同的类型：

template <class T, class U>
void Func(vector<T> x, U y);

Answer 4

如果您不喜欢身份助手并且只希望它是可转换的，请尝试以下操作：

template <typename T, typename U>
void Func(const std::vector<T>& x, U alphaU = 1)
{
    const T alpha(alphaU); // Convert to T
    // ... do stuff
}

更新：

回复您的评论：我在http://liveworkspace.org使用几个编译器进行了尝试，这段代码对我来说构建得很好：

#include <vector>
#include <complex>

template <typename T, typename U>
void Func(const std::vector<T>& x, U alphaU)
{
   const T alpha(alphaU); // Convert to T
   (void) x;
   (void) alpha;
}

template <typename T>
void Func(const std::vector<T>& x)
{
    Func( x, 1 );
}    

int main()
{
   std::vector<std::complex<double>> v(10);
   Func( v, 5.5 );
   Func( v );
}