如何编写Concept约束类型为模板类的嵌套内部类？

问题背景 #

需要编写一个C++20 Concept，将参数类型限制为某模板类的嵌套类（例如std::vector<...>::iterator），且不能修改原模板类及其嵌套类。尝试的代码因模板参数推导失败无法正常工作：

template<class T>
struct A
{
  struct B {};
};

template<class T>
concept is_B = requires(T x) { []<class U>(typename A<U>::B){}(x); };

void foo(is_B auto) {};

void bar()
{
  foo(A<int>::B{});  // 预期通过编译
  foo(int{});        // 预期编译失败
}

上述代码失效的核心原因：C++语言规则禁止从typename A<U>::B这种嵌套从属类型反向推导出模板参数U，因此编译器无法匹配lambda的模板参数，导致Concept校验失败。

可行实现方案 #

方案1：借助辅助模板的部分特化 #

通过定义一个辅助模板，利用C++模板的部分特化能力精准匹配目标嵌套类，再基于这个辅助模板编写Concept：

#include <type_traits>

// 原模板类（不可修改）
template<class T>
struct A
{
  struct B {};
};

// 基础辅助模板：默认标记为不匹配
template<class T>
struct is_A_B : std::false_type {};

// 部分特化：匹配所有A<U>::B类型
template<class U>
struct is_A_B<typename A<U>::B> : std::true_type {};

// 基于辅助模板定义Concept
template<class T>
concept is_B = is_A_B<T>::value;

// 测试代码
void foo(is_B auto) {};

void bar()
{
  foo(A<int>::B{});  // 成功通过编译
  foo(int{});        // 编译错误，符合预期
}

原理说明

模板部分特化允许我们直接匹配typename A<U>::B这种类型——编译器会自动为每个合法的U生成对应的特化实例，从而快速判断目标类型是否属于A的嵌套类B。这种方法无需修改原类，兼容性覆盖C11及以上版本，适配C20 Concept非常自然。

扩展到标准库类型 #

对于std::vector<...>::iterator这类标准库嵌套类型，同样可以用该方法实现Concept：

#include <vector>
#include <type_traits>

template<class T>
struct is_vector_iterator : std::false_type {};

// 匹配std::vector的普通迭代器
template<class T, class Alloc>
struct is_vector_iterator<typename std::vector<T, Alloc>::iterator> : std::true_type {};

// 匹配std::vector的const迭代器（可选）
template<class T, class Alloc>
struct is_vector_iterator<typename std::vector<T, Alloc>::const_iterator> : std::true_type {};

template<class T>
concept VectorIterator = is_vector_iterator<T>::value;

// 测试示例
void process(VectorIterator auto it) {};

int main() {
  std::vector<int> vec;
  process(vec.begin());    // 通过编译
  process(vec.cbegin());   // 通过编译（如果添加了const迭代器的特化）
  process(10);             // 编译错误
}

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