如何限制C++模板参数必须属于指定命名空间？

你之前尝试的requires(T t) {AAA::T;}写法是非法的——T是模板类型参数，并非标识符，无法通过AAA::T的语法来引用类型，这也是代码编译失败的原因。以下提供两种可行的实现方案：

方案一：基于ADL（参数依赖查找）的无侵入式实现 #

无需修改目标命名空间内的原有类型，利用C++的ADL规则自动判断类型所属命名空间：

#include <type_traits>

namespace AAA
{
struct CLS_1
{};

// 在AAA命名空间内定义辅助匹配函数
template<typename T>
auto is_in_aaa_impl(T*) -> std::true_type;
}

struct CLS_2
{};

// 全局命名空间的通用匹配版本
template<typename T>
auto is_in_aaa_impl(T*) -> std::false_type;

// 定义类型判断常量
template<typename T>
constexpr bool is_in_aaa = decltype(is_in_aaa_impl(static_cast<T*>(nullptr)))::value;

// 定义约束概念
template<typename T>
concept IsInAAA = is_in_aaa<T>;

// 受约束的模板函数
template<IsInAAA T>
void foo()
{}

int main()
{
    foo<AAA::CLS_1>(); // 编译正常
    // foo<CLS_2>(); // 编译失败，符合预期
    return 0;
}

原理说明 #

当模板参数T属于AAA命名空间时，编译器会通过ADL优先找到AAA内的is_in_aaa_impl重载，返回std::true_type；若T不属于AAA，则匹配全局版本的函数，返回std::false_type。通过这个机制可以自动完成命名空间归属的判断。

方案二：基于基类继承的侵入式实现（适用于可修改目标类型的场景） #

如果允许修改AAA命名空间内的类型代码，可以让所有目标类型继承一个公共基类，通过继承关系实现约束：

#include <type_traits>

namespace AAA
{
struct Base {}; // 公共基类
struct CLS_1 : Base {};
}

struct CLS_2
{};

// 定义约束概念：检查是否继承自AAA::Base
template<typename T>
concept IsInAAA = std::derived_from<T, AAA::Base>;

template<IsInAAA T>
void foo()
{}

int main()
{
    foo<AAA::CLS_1>(); // 编译正常
    // foo<CLS_2>(); // 编译失败，符合预期
    return 0;
}

原理说明 #

利用C++20的std::derived_from概念直接判断类型是否继承自AAA::Base，逻辑直观，但要求目标类型必须提前继承指定基类。

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