如何禁止C++模板基函数被调用？调试输出流运算符重载问题

ASSERT宏的有效性说明 #

Visual Studio 内置的ASSERT宏仅在定义了_DEBUG预处理宏的调试编译模式下生效，非调试的Release模式下该宏会被预处理器完全清除，不会产生任何运行时代码，也不会抛出异常，可以适配关闭异常的项目要求。

需求实现的最优方案 #

以下按实用性从高到低排序：

方案1：手动实现所有需要的非模板重载（最实用） #

就是你补充内容中提到的方案，完全放弃模板写法，逐一实现所有需要支持的operator<<重载：

class DebugOutput {
public:
    DebugOutput& operator<<(const char* input);
    DebugOutput& operator<<(char* input);
    DebugOutput& operator<<(char input);
    DebugOutput& operator<<(int32_t input);
    // 按需补充uint32_t、int64_t、float等其他需要的类型重载即可
};

该方案没有任何语法奇技淫巧，完全避免了模板歧义问题，也不存在外部调用未实现版本的风险，兼容性拉满，对于调试工具类来说需要支持的类型通常不超过10种，实现成本极低，是生产环境的最优选择。

方案2：模板基函数加静态断言做编译期拦截 #

如果你需要保留模板特化的扩展能力，可以在模板基函数中加入编译期静态断言：

template <typename T>
DebugOutput& operator<<(T input) {
    static_assert(sizeof(T) == 0, "当前类型未实现DebugOutput的输出重载");
    return *this;
}

只要外部调用了没有特化的类型，编译阶段就会直接抛出明确的错误提示，不需要任何运行时代码，也不依赖异常或者ASSERT宏，适配所有编译模式。

方案3：模板基函数加ASSERT做调试期拦截 #

如果你希望允许未实现类型的调用编译通过，仅在调试阶段发现错误，可以在模板基函数中写入ASSERT判断：

template <typename T>
DebugOutput& operator<<(T input) {
    ASSERT(false && "调用了未实现的DebugOutput输出重载");
    return *this;
}

调试模式下错误调用会触发断言提醒，Release模式下无任何运行时开销，缺点是Release模式下错误调用会静默失败，适合有完善测试覆盖的项目。

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