可能的重复: 模板中关键字' typename '和' class '的c++差异

在c++中定义函数模板或类模板时,可以这样写:

template <class T> ...

或者你可以这样写:

template <typename T> ...

有充分的理由选择其中一个而不是另一个吗?


我接受了最流行(也是最有趣)的答案,但真正的答案似乎是“不,没有充分的理由更喜欢其中一个而不是另一个。”

它们是等价的(除了下文所述)。 有些人总是使用typename是有原因的。 有些人总是有理由使用阶级。 有些人有理由两者都用。 有些人不在乎他们用的是哪一种。

但是请注意,在c++ 17之前,在模板模板形参的情况下,需要使用class而不是typename。请参阅下面user1428839的回答。(但这种特殊情况不是个人偏好的问题,而是语言的要求。)


当前回答

Stan Lippman在这里讲过。我觉得很有趣。

摘要:Stroustrup最初使用class在模板中指定类型,以避免引入新的关键字。委员会中的一些人担心这个关键字的过载会导致混乱。后来,委员会引入了一个新的关键字typename来解决语法歧义,并决定让它也被用来指定模板类型以减少混乱,但为了向后兼容,class保留了它的重载含义。

其他回答

Stan Lippman在这里讲过。我觉得很有趣。

摘要:Stroustrup最初使用class在模板中指定类型,以避免引入新的关键字。委员会中的一些人担心这个关键字的过载会导致混乱。后来,委员会引入了一个新的关键字typename来解决语法歧义,并决定让它也被用来指定模板类型以减少混乱,但为了向后兼容,class保留了它的重载含义。

纯粹的历史。引用斯坦·李普曼的话:

出现这两个关键词的原因是历史性的。在最初的模板规范中,Stroustrup重用现有的class关键字来指定类型参数,而不是引入可能破坏现有程序的新关键字。这并不是说不考虑一个新的关键字——只是考虑到它潜在的破坏性,它被认为是不必要的。在iso - c++标准之前,这是声明类型参数的唯一方法。

但是应该使用typename而不是class! 更多信息请参见链接,但请考虑以下代码:

template <class T>
class Demonstration { 
public:
void method() {
   T::A *aObj; // oops ...
};

我更喜欢使用typename,因为我不喜欢重载关键字(哎呀——静态对于各种不同的上下文有多少不同的含义?)

为了回应Mike B,我更喜欢使用'class',因为在模板中,'typename'有一个重载的含义,但'class'没有。以这个检查型整型为例:

template <class IntegerType>
class smart_integer {
public: 
    typedef integer_traits<Integer> traits;
    IntegerType operator+=(IntegerType value){
        typedef typename traits::larger_integer_t larger_t;
        larger_t interm = larger_t(myValue) + larger_t(value); 
        if(interm > traits::max() || interm < traits::min())
            throw overflow();
        myValue = IntegerType(interm);
    }
}

Larger_integer_t是一个依赖名称,因此需要在它前面加上'typename',以便解析器能够识别Larger_integer_t是一个类型。另一方面,Class没有这样的重载含义。

那或者我只是内心懒惰。我输入“class”的频率远远超过“typename”,因此我发现它更容易输入。或者这可能是我写了太多OO代码的标志。

根据Scott Myers, Effective c++(第三版)第42项(当然,这必须是最终答案)-区别是“没有”。

建议是,如果期望T始终是一个类,则使用“class”,如果期望其他类型(int, char*等等)则使用“typename”。把它当作一个用法提示。