2

在下面的 ：

template<typename Type>
struct MyClass
{
    template<typename OtherType> MyClass(const MyClass<OtherType>& x);
    template<typename OtherType = Type> void test(const MyClass<OtherType>& x);
};

在函数test中做了什么：

情况1：默认参数为priority：MyClass<Type>(const MyClass<OtherType>& x)隐式调用转换构造函数并被MyClass<Type>::test<Type>(const MyClass<Type>& x)调用。

情况2：推导的参数是优先级：MyClass<Type>::test<Type>(const MyClass<OtherType>& x)被调用。

我认为好的答案是第二个，但我不确定。您能否向我确认（并且这种情况已被标准明确定义）？

编辑：测试功能由以下人员调用：

MyClass<double> d;
MyClass<unsigned int> ui;
d.test(ui); // <- So the question is : is ui implicitely 
            //    converted to MyClass<double> or not ?
4

1 回答 1

4

test将被称为

MyClass<double>::test(const MyClass<unsigned int> &)

即不会有uifromMyClass<unsigned int>到的转换MyClass<double>。

默认模板参数永远不会覆盖给定的参数。它仅在没有给出模板参数并且编译器无法从函数参数中推断出来时使用。

来自 C++11 标准：

(§14.8.2/5) 得到的替换和调整的函数类型用作模板参数推导的函数模板的类型。如果没有推导出模板参数，则使用其默认模板参数（如果有）。[ 例子：

template <class T, class U = double>
void f(T t = 0, U u = 0);
void g() {
  f(1, ’c’);      // f<int,char>(1,’c’)
  f(1);           // f<int,double>(1,0)
  f();            // error: T cannot be deduced
  f<int>();       // f<int,double>(0,0)
  f<int,char>();  // f<int,char>(0,0)
}

—结束示例]

于 2012-11-30T03:50:14.170 回答