在模板派生类中继承具有类型别名的构造函数
Inheriting constructor with a type alias in a template derived class
请参阅以下代码:
struct base {};
template <class T>
struct derived : T {
using base_type = T;
using base_type::T;
};
int main()
{
derived<base> x;
}
GCC接受这个代码,但Clang和MSVC拒绝了。谁是对的,为什么?
using base_type::T;
是一个声明,它之前的using
是一个别名。这在标准中有点边缘化,因为真正的问题归结为T
在哪里扩展。这里引用的C++委员会说,他们不希望该语法有效,所以LLVM明确删除了它。看起来标准中没有任何东西阻止它,所以gcc允许转换并没有错。谁是"正确的"取决于你。
相关文章:
- 继承模板类中的类型别名
- 为什么 GCC 在使用类型别名时处理 const reinterpret_cast不同?
- 类作用域的类型别名"using":[何时]方法中的用法可以先于类型别名?
- 如何使用类型别名从模板化类中隐藏模板列表
- 如何检测类型类型别名?
- C++类型别名,其中值被替换
- 如何为流输出运算符提供重载<<模板'using'类型别名?
- 通过类型别名从构造函数转发模板推导
- C++中的严格别名规则和类型别名
- 使用其他模板类型参数作为要在函数签名中使用的类型别名声明
- 什么是C++中的类型别名?
- 如何在不违反类型别名规则的情况下解释消息负载?
- 在模板派生类中继承具有类型别名的构造函数
- 类型别名允许分配任意指针,尽管 int* 是必需的
- 使用类型别名,例如使用 A = int(int)
- 模板类函数指针类型别名
- 类型别名和类似类型
- 泛型类型别名,它们彼此不兼容
- 具有类型别名的循环依赖项
- 为什么模板引用类型不能用作模板类型别名参数?