如何让编译器检测meter_t与mile_t混用的类型错误？

你要的效果完全可以通过编译器的强类型typedef扩展实现，既不用包装类，也不会有任何性能损耗——因为底层还是float，只是编译器在类型检查阶段多做一层验证。

具体实现方法 #

GCC/Clang 环境

直接在typedef时加上__attribute__((strong))属性，让编译器把两个typedef视为完全不同的类型：

typedef float meter_t __attribute__((strong));
typedef float mile_t __attribute__((strong));

meter_t alpha = 100;
mile_t beta = 200;

if (alpha == beta) // 编译器会触发警告：不同强类型之间的比较
{
   mile_t gamma = alpha;  // 编译器会触发警告：隐式转换不同强类型
   mile_t delta = static_cast<mile_t>(alpha);  // 显式转换，允许通过
}

编译时加上-Wconversion或-Werror=conversion，可以把警告升级为错误，强制修正这类问题。

MSVC 环境

用MSVC的__declspec(strongtypedef)属性实现同样效果：

typedef __declspec(strongtypedef) float meter_t;
typedef __declspec(strongtypedef) float mile_t;

// 后续代码和上面一致，隐式转换、跨类型比较都会触发警告

跨编译器兼容方案

可以用宏封装不同编译器的属性，保证代码在多平台都能工作：

#ifdef __GNUC__
#define STRONG_UNIT_TYPE(T, NAME) typedef T NAME __attribute__((strong))
#elif _MSC_VER
#define STRONG_UNIT_TYPE(T, NAME) typedef __declspec(strongtypedef) T NAME
#else
#define STRONG_UNIT_TYPE(T, NAME) typedef T NAME // 不支持的编译器降级为普通typedef
#endif

// 使用宏定义单位类型
STRONG_UNIT_TYPE(float, meter_t);
STRONG_UNIT_TYPE(float, mile_t);

关键说明 #

• 这种方式完全不会影响性能：编译后的机器码和直接用float没有任何区别，只是在编译阶段增加了类型校验。
• 显式转换（比如static_cast）会被编译器视为合法操作，不会触发警告，符合你允许手动转换的需求。

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