C++如何使用宏替换命名空间下的常量与函数标识符

宏方案可行性验证 #

你提到的去掉命名空间限定符、直接定义#define kComplexDouble kComplexFloat的写法可以正常生效。
C/C++预处理器的宏替换是基于独立标识符匹配的，宏名只要求是合法的C标识符（不能包含::这类标点），你代码中写at::kComplexDouble时，预处理器会识别出独立标识符kComplexDouble并完成替换，最终生成at::kComplexFloat，正好符合你的需求。你最开始宏名带::报错的原因也正是宏名不允许包含::符号，和你推测的token拆分问题一致。

编码实践风险说明 #

这种写法属于有明确副作用的投机方案，是不推荐的通用编码实践，使用时必须严格遵守以下约束：

• 宏的定义位置必须放在当前文件所有#include语句之后，避免替换引入头文件中的同名标识符，引发难以排查的编译错误
• 宏的生效范围必须严格控制到最小：所有需要替换的代码写完后，立刻用#undef取消所有自定义的替换宏，避免本文件后续逻辑、或其他引用该文件的代码被意外替换
• 必须在宏定义位置加明确注释，说明宏的作用、生效范围，避免后续维护人员调整宏的位置引发问题

函数替换宏的注意事项 #

替换函数名的宏和常量替换规则一致，比如#define toDouble toFloat可以正常匹配成员函数调用、全局函数调用完成替换。这类函数名宏使用完成后必须加#undef，函数名同名概率远高于常量，哪怕是当前文件后续逻辑都有可能出现同名函数，不做undef会带来极高的非预期替换风险。

低风险替代方案 #

如果担心宏的副作用，可以用常量+模板的方案实现相同效果，完全没有文本替换风险：

#ifdef __NO_DOUBLE__
constexpr auto kComplexDouble = at::kComplexFloat;
constexpr auto kDouble = at::kFloat;
template<typename T>
decltype(auto) toComplexDouble(T&& obj) { return std::forward<T>(obj).toComplexFloat(); }
template<typename T>
decltype(auto) toDouble(T&& obj) { return std::forward<T>(obj).toFloat(); }
#else
constexpr auto kComplexDouble = at::kComplexDouble;
constexpr auto kDouble = at::kDouble;
template<typename T>
decltype(auto) toComplexDouble(T&& obj) { return std::forward<T>(obj).toComplexDouble(); }
template<typename T>
decltype(auto) toDouble(T&& obj) { return std::forward<T>(obj).toDouble(); }
#endif

把这段代码放在当前文件的头部，后续代码直接使用不带命名空间的kComplexDouble、toDouble(xxx)即可，生效范围仅限制在当前文件，不会污染其他代码。

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