如何用static_assert检测string未定义以排查using namespace std;

要实现你想要的检测逻辑，核心是利用C++的SFINAE（替换失败并非错误）特性，判断全局命名空间中是否存在string类型——毕竟正常情况下string只属于std命名空间，只有当某个头文件混入using namespace std;时，全局命名空间才会出现string的别名。

直接写一个能检测全局string是否存在的模板即可，不需要通用的type_is_defined（因为我们的目标明确就是全局string）：

#include <type_traits>

// 自己实现void_t，兼容C++11/14（C++17及以上可直接用std::void_t）
template<typename...>
using void_t = void;

// 基础模板：默认认为全局没有string
template<typename = void>
struct has_global_string : std::false_type {};

// 特化模板：当全局能找到string类型时，匹配此模板，值为true
template<>
struct has_global_string<void_t<decltype(::string{})>> : std::true_type {};

// 引入所有要检测的头文件
#include "header1.h"
#include "header2.h"
// ...

// 触发检测：如果全局存在string，编译失败
static_assert(!has_global_string<>::value, "检测到头文件中存在using namespace std;");

工作原理 #

• 当没有头文件引入using namespace std;时，::string是未定义的类型，decltype(::string{})会触发SFINAE，编译器会忽略特化模板，使用基础模板，has_global_string<>::value为false，static_assert(!false)顺利通过编译。
• 当某个头文件混入了using namespace std;，全局命名空间会有string的别名，decltype(::string{})是合法表达式，特化模板会被匹配，has_global_string<>::value为true，static_assert(!true)会抛出编译错误，CI流程就能捕获这个问题。

注意事项 #

• 确保检测代码在所有待检测的头文件之后引入，这样才能准确捕获头文件带来的全局命名空间污染。
• 如果你的代码中有人为定义的全局string类型（不是来自std的using声明），这个检测也会触发，但这种情况本身属于代码规范问题，同样需要排查。

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