首页 文章

类模板中的Typedef评估

提问于
浏览 次
4

下面的代码用g编译，但无法用clang编译 .

struct X;

template <typename T>
struct Traits
{
    typedef typename Traits<T>::Container Container;
};

template <>
struct Traits<X>
{
    typedef std::vector<X *> Container;
};

int main()
{
    Traits<X>::Container container;
    return EXIT_SUCCESS;
}

clang错误信息：

main.cpp:9:30: error: no type named 'Container' in 'Traits<T>'

编译器是否应该评估typedef而不用实际类型替换template参数？哪个编译器是对的？

clang：http://coliru.stacked-crooked.com/a/fef7725827074e4f

gcc：http://coliru.stacked-crooked.com/a/79e17031fcabcd83

c++ templates language-lawyer typedef

1 回答

  • 5
    template <typename T>
struct Traits {
  typedef typename Traits<T>::Container Container;
};

    这是形成不良，无需诊断 . 没有 T 这样上述（主要）专业化可能导致有效的代码 .

    另一种专业化的存在没有任何区别 . 编译器可以自由地执行任何操作，包括提供虚假错误消息 . 编译它是免费的 . 只有在程序中有一个名为 foo 的变量或月亮是新的时，才可以自由生成错误 . 如果这些是执行质量差的一些 .

    在实践中，这意味着编译器可以自由地假设主要特化对某些类型 T 有效（即，在其中没有无限递归），并且在相对不相关的代码中废弃，因为它做出了这个假设 .

    回复于

相关问题