'typedef' C++类中自动继承吗？

Is 'typedef' automatically inherited in C++ class?

本文关键字：继承 typedef C++      更新时间：2023-10-16

我曾经相信"typedef"不是自动继承的。但下面的代码快照暗示了一些不同的东西。

#include <iostream>
#include <type_traits>
struct A
{
    typedef int X;
};
struct A_ 
{
    typedef char X;
};
struct B : A {};
struct B_ : A, A_ {};
template< typename ... Ts >
using void_t = void;
template< typename T, typename = void >
struct has_typedef_X : std::false_type {};
template< typename T >
struct has_typedef_X< T, void_t<typename T::X> > : std::true_type {};
int main()
{
    std::cout << std::boolalpha;
    std::cout << has_typedef_X<A>::value << std::endl;
    std::cout << has_typedef_X<A_>::value << std::endl;
    std::cout << has_typedef_X<B>::value << std::endl;
    std::cout << has_typedef_X<B_>::value << std::endl;
    return 0;
}

输出为"true true false"。但在我看来，"has_typedef_X<B>::value"给出"true"意味着在结构B中，X是"typedef"d。

所以，如果有人能解释这个问题或纠正我？

在线版本可在http://melpon.org/wandbox/permlink/iwZ6eZ3PoBPgyFBj[URL已更正]

父类的嵌套类型名（即成员类型）在派生类的作用域中可见，并且只要的访问说明符不是私有的，就可以访问。如果不同的基类中有多个类型具有相同的名称，则非限定名称不明确。

我发现的最相关的标准报价是：

[class.nested.type]§1

类型名称与其他名称完全遵循相同的作用域规则。[…]

[类别.成员.查找]§9

[注意：即使一个对象有多个类型为T的基类子对象，也可以明确地找到基类T中定义的静态成员、嵌套类型或枚举器。[…]

事实上，使用它的一个例子是标准，该标准指定标准容器的迭代器继承std::iterator模板，该模板只包含嵌套的类型名称。继承的全部目的是将这些嵌套的类型名称获取到迭代器中。（在下一个标准版本（c++17）中，此示例将变得过时，建议不再使用std::iterator。）

X在B和B_的作用域中，B_的问题是B_::X不明确，因此模板推导失败，只剩下假has_typedef作为唯一匹配项。

由于名称X是在两个基类中定义的，因此会导致has_typedef中B_的模板推导失败。

您认为typedef不是继承的，这可能来自于在不合格名称查找过程中的一些C++特性，其中不考虑基类。请参阅传播'；typedef'；从基于到派生类的'；模板'；

相关文章：