使用模板特化,默认参数和VS2013编译错误

时间:2014-01-03 20:44:40

标签: c++ templates visual-c++ visual-studio-2013

template<typename T>
void f(const T &v = T());

template<>
void f<std::string>(const std::string &v)
{
    std::cout << v;
}

int main(int argc, char* argv[])
{
    f<std::string>(); // Error in VS2013,  OK in VS2012, gcc-4.7
    f<std::string>("Test");   // OK
    f<std::string>(std::string());  //OK
    return 0;
}

最新的Visual Studio 2013编译器在必须使用默认参数的情况下给出以下编译器错误:

error C2440: 'default argument' : cannot convert from 'const std::string *' to 'const std::string &'
Reason: cannot convert from 'const std::string *' to 'const std::string'
No constructor could take the source type, or constructor overload resolution was ambiguous

Visual Studio 2012和gcc-4.7编译正常。

更新:因为它似乎是一个VS2013错误,是否有任何临时解决方法,在MS修复之前不需要进行大量代码更改?错误报告已在MS connect上提交。

1 个答案:

答案 0 :(得分:1)

每当我看到模板功能出现这种问题时,我都会尝试切换到模板结构(如果需要临时解决方法)......

template<typename T>
struct foo
{
  static void f(const T &v = T());
};

template<>
struct foo<std::string>
{
  static void f(const std::string &v = std::string())
  {
    std::cout << v;
  }
};

不幸的是,我无法在Visual Studio 2013中检查这个,因为我没有它,但我希望它能够正常工作。

这里的缺点是你应该明确指定你的类型,不再扣除

foo<std::string>::f()
foo<std::string>::f("Text")

我在这里疯狂猜测会像包装函数一样添加:

template<typename T>
void f_wrapper(const T &v = T())
{
  foo<T>::f(v);
}