4

它是 Visual C++ 2010 中的错误还是正确的行为？

template<class T>
T f(T const &r)
{
    return r;
}

template<class T>
T f(T &&r)
{
    static_assert(false, "no way"); //< line # 10
    return r;
}

int main()
{
    int y = 4;
    f(y); //< line # 17
}

我想，函数 f(T &&) 永远不应该被调用，而是用 T = int & 调用。输出：

    main.cpp(10)：错误 C2338：没办法
          main.cpp(17) : 请参阅正在编译的函数模板实例化 'T f(T)' 的参考
          和
          [
              T=整数&
          ]

更新 1你知道任何 C++x0 编译器作为参考吗？我已经尝试过 comeau 在线试驾，但无法编译 r 值参考。

更新 2解决方法（使用 SFINAE）：

#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/is_reference.hpp>

template<class T>
T f(T &r)
{
    return r;
}

template<class T>
typename ::boost::disable_if< ::boost::is_reference<T>, T>::type f(T &&r)
{
    static_assert(false, "no way");
    return r;
}

int main()
{
    int y = 4;
    f(y);
    // f(5); // generates "no way" error, as expected.
}

更新 3即使没有函数模板实例化，一些编译器也会在 static_assert(false, "no way") 上触发。解决方法（感谢@Johannes Schaub - litb）

template<class T> struct false_ { static bool const value = false; };
...
static_assert(false_<T>::value, "no way");

或者

static_assert(sizeof(T) == sizeof(T), "no way");
4

2 回答 2

5

据我了解（我可能并不完全正确；规范有点复杂），模板类型推导规则对您不利。

编译器首先尝试替换所有模板（此时它还没有选择——只是寻找选项）并得到：

  • T const &rint将左值与T = int,匹配f(int const &)
  • T &&rint将左值与匹配T = int&并int & &&减少为int&，创建f(int &)（在规范中有这样的规则）。

现在要选择正确的重载，后者更好地匹配，因为第一个在 cv-qualification 上不同，而后者则没有。这也是为什么当你删除 时const，你会得到模棱两可的重载错误——重载最终是完全一样的。

广告更新1 ：gcc支持许多 C++0x 功能。您可以从mingw或使用cygwin获得本机 Windows 构建。

Ad Update2：如果您真的需要单独的右值和左值重载，那似乎是唯一的选择。但是大多数模板只使用任何类型的引用就可以做正确的事情，可能std::forward用于确保正确解析它们调用的函数，具体取决于它们是否获得右值或左值）。

于 2011-02-18T07:53:20.987 回答
3

不过，您的修复并不能解决static_assert开火问题。static_assert(false, ...)仍然会触发在定义时解析模板的编译器（大多数都这样做）。

他们将看到任何函数模板实例化都是格式错误的，并且标准允许他们为模板本身发出错误，并且大多数人都会这样做。

为了完成这项工作，您需要使表达式依赖，以便编译器不知道它何时解析模板，它总是评估为假。例如

template<class> struct false_ { static bool const value = false; };

template<class T>
T f(T &&r)
{
    static_assert(false_<T>::value, "no way"); //< line # 10
    return r;
}
于 2011-02-26T09:16:37.100 回答