【问题标题】:Why are templates and template specializations entities and classes are not?为什么模板和模板特化实体和类不是?
【发布时间】:2019-10-07 21:13:49
【问题描述】:

根据标准§6/p3 [基本]:

实体是一个值、对象、引用、结构化绑定、函数、 枚举器、类型、类成员、位域、模板、模板 特化、命名空间或参数包。

有一个幼稚的问题。既然模板是“类的蓝图”,为什么模板和模板特化被认为是实体而类不是?还是我遗漏了什么?

【问题讨论】:

  • 一个类是一个类型,不是吗?
  • @BaummitAugen 我很乐意接受它作为答案。
  • @BaummitAugen 会更准确地编写模板部分特化,因为模板特化也是类型?
  • 函数模板特化不是我认为的类型(尽管它们是函数)。然后是变量模板,模板化using,但我想它们也被覆盖了。
  • @BaummitAugen 是的,我认为这些都包含在通用术语模板中。

标签: c++ language-lawyer


【解决方案1】:

类包含在列表中,因为类是类型。

【讨论】:

  • 标准理由:§12 类 [class]/p1 类是一种类型...
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 2011-05-10
  • 1970-01-01
  • 2022-01-03
  • 2017-01-20
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多