提问人:xmllmx 提问时间:5/5/2020 最后编辑:xmllmx 更新时间:5/5/2020 访问量:137
为什么不能使用 typedef 类型来声明其父类的 ctors?[复制]
Why can't a typedef type be used to declare its parent class' ctors? [duplicate]
问:
template<typename>
struct A
{
int n;
A(bool)
{}
};
template<typename>
struct B
{
struct C : A<B>
{
using Base = A<B>;
using A<B>::A; // ok
using Base::n; // ok
// error: dependent using declaration resolved to type without 'typename'
using Base::A;
};
C get() const
{
return C(true);
}
};
int main()
{
auto b = B<int>();
b.get();
}
代码中描述了该错误。
为什么不能使用 typedef 类型来声明其父类的 ctors?
答:
5赞
Evg
5/5/2020
#1
类似的行为之前被报告为可能的 Clang 错误:[Bug 23107] 模板上的构造函数继承无法正常工作。
理查德·史密斯(Richard Smith)对这份报告的评论:
C++ 委员会已经讨论过这种情况,并且不打算使用这种语法 有效。请改用它来声明继承构造函数。
using myBase::myBase;
所以,你应该写而不是.修复此问题后,您的代码将使用 Clang 进行编译。using Base::Base;
using Base::A;
评论
1赞
Richard Smith
5/6/2020
请参阅 open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#2070 了解相应的C++核心语言问题。
1赞
Joel Filho
5/5/2020
#2
正如其他人评论的那样,您的代码在最新的 GCC 和 MSVC 上编译没有问题。
您的问题似乎发生在 Clang 上。
该标准与析构函数的命名问题类似(来源):
在格式的限定 ID 中:
[...]类型名称::~类型名称
第二个类型名称在与第一个类型名称相同的作用域中查找。
struct C {
typedef int I;
};
typedef int I1, I2;
extern int* p;
extern int* q;
p->C::I::~I(); // I is looked up in the scope of C
q->I1::~I2(); // I2 is looked up in the scope of the postfix-expression
struct A {
~A();
};
typedef A AB;
int main() {
AB* p;
p->AB::~AB(); // explicitly calls the destructor for A
}
但是我找不到任何与构造函数相关的明确内容。我认为行为应该是一样的,但只有对标准更有经验的人才能确认。
有趣的是,如果你把你的类变成一个模板,它也可以在 Clang 上工作:A
struct A
{
A(bool) {}
};
template<typename>
struct B
{
struct C : A
{
using Base = A;
using Base::A;
};
//...
所以也许这是一个 Clang 错误?
你可以做的一件事是使用 的构造函数:Base
Base::Base
struct C : A<B>
{
using Base = A<B>;
using Base::Base;
};
评论
typename