c++ - 空结构或匿名结构作为标签

Question

将标记类型定义为匿名空结构或定义为空结构在使用上有什么区别吗？

using A = struct {};
struct B {};

在我看来，唯一的区别是“有效”类型名称，当使用一种反射时(即 __PRETTY_FUNCTION__ 、 <cxxabi.h>:abi::__cxa_demangle(typeid().name()) 等)。

ADL 适用于两种方式:

namespace ns
{

using A = struct {};
struct B {};

constexpr
bool
adl(A)
{
    return true;
}

constexpr
bool
adl(B)
{
    return true;
}

}

template< typename type >
constexpr
bool
adl(type)
{
    return false;
}

static_assert(adl(ns::A{}));
static_assert(adl(ns::B{}));

Answer 1

除了您已经注意到的不同字符串之外，唯一显着的区别是您可以使用 elaborated-type-specifier 引用 B，因此您可以说 struct B b; 而不是 B b; 但你不能使用 struct A a; 因为 A 是一个typedef-name 不是类名。

然而，几乎从来没有一个很好的理由说 struct B 而不仅仅是 B 所以在实践中差异并不重要，尤其是对于标签类型。