如何在C++编译期区分别名类型，判断类型是否完全相同？

C++标准库的std::is_same_v会把类型别名和原类型（或同一原类型的不同别名）视为相同类型，因为typedef/using本质上只是原类型的“别名”，并非新的类型实体。如果要实现能区分不同别名的is_exact_v，需要通过额外的编译期标记手段来实现，因为标准类型系统本身不会保留别名的独立身份。

实现思路：带唯一标签的类型包装 #

要区分不同的别名，我们可以在定义别名时给每个类型绑定一个唯一的编译期标签，通过模板特化来识别这些标签：

#include <type_traits>

// 带标签的类型包装模板
template<class UnderlyingType, auto UniqueTag>
struct TaggedAlias {
    using type = UnderlyingType;
};

// 定义带不同标签的别名
using latitude = TaggedAlias<float, 1>::type;
using longitude = TaggedAlias<float, 2>::type;

// 实现is_exact trait
template<class T, class U>
struct is_exact : std::false_type {};

// 同一原类型、同一标签的情况
template<class T, auto Tag>
struct is_exact<TaggedAlias<T, Tag>::type, TaggedAlias<T, Tag>::type> : std::true_type {};

// 原类型和别名的情况（视为不同）
template<class T, auto Tag>
struct is_exact<T, TaggedAlias<T, Tag>::type> : std::false_type {};

template<class T, auto Tag>
struct is_exact<TaggedAlias<T, Tag>::type, T> : std::false_type {};

// 完全相同的原生类型情况
template<class T>
struct is_exact<T, T> : std::true_type {};

// 便捷变量模板
template<class T, class U>
inline constexpr bool is_exact_v = is_exact<T, U>::value;

// 测试验证
static_assert(!is_exact_v<int, float>);
static_assert(is_exact_v<float, float>);
static_assert(is_exact_v<latitude, latitude>);
static_assert(!is_exact_v<latitude, longitude>);
static_assert(!is_exact_v<latitude, float>);

为什么标准库做不到？ #

C++的类型系统中，typedef/using只是原类型的“别名”，编译器不会为别名生成独立的类型元数据——在编译期，别名和原类型是完全等价的。因此std::is_same_v无法区分它们，这不是反射要求过高的问题，而是语言类型系统的设计逻辑：别名不具备独立的类型身份，只是原类型的另一个名字。

如果不通过额外的标签包装，仅依靠标准库的类型特性，无法实现区分不同别名的功能。

内容的提问来源于stack exchange，提问作者ralian