Пустая структура или анонимная структура как тег

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

Помимо различных строк вы уже отмечалось, единственным существенным отличием является то, что вы можете обратиться к B используя разработанную-типа-спецификатор, так вы можете сказать struct B b; вместо B b;, но вы не можете использовать struct A a;, потому что A является typedef-name, а не классом.

Однако почти нет веской причины говорить struct B вместо B, поэтому на практике разница не важна, особенно для типов тегов.