c++20起可用concept显式约束模板参数，如requires(t& t) { t.begin();}，错误精准指向实参；c++17及以前需用sfinae+std::void_t探测成员，但可读性差且易出错。
不能直接限制，但可以用 requires + std::is_detected_v 或自定义 concept 检查成员是否存在——C++20 起才真正可行，C++17 及以前只能靠 SFINAE 靠谱些。
为什么 template 无法阻止传入不带成员的类
普通类模板声明如 template<typename t> struct X { T::value_type v; };</typename> 在实例化时才会检查 T::value_type 是否存在。一旦用户写了 X<:string></:string> 就报错，但编译器不会提前拦住，错误信息还常指向内部实现而非调用点。
常见错误现象：error: 'value_type' is not a member of 'std::string' 出现在模板类体内部，而不是 X<:string></:string> 这一行；调试成本高，接口契约不清晰。
- 模板参数本身不带约束语义，
typename T表示“任意类型”，哪怕它根本没begin() - 编译器只在需要求值的地方（比如访问
T::iterator）才触发硬错误，不是编译期断言 - 即使加了
static_assert(std::is_same_v<decltype int>)</decltype>，也得先确保T::value_type存在，否则编译失败早于 assert 执行
C++20：用 concept 显式要求 has_begin 成员函数
最干净的做法是定义一个 concept，检查类型是否提供可调用的 begin() 成员：
template<typename t>
concept has_begin = requires(T& t) {
t.begin();
};</typename>
然后在模板中使用：
template<has_begin t>
struct range_wrapper {
T data;
auto begin() { return data.begin(); }
};</has_begin>
这样 range_wrapper<:vector>></:vector> 合法，range_wrapper<int></int> 直接报错，且错误位置精准指向模板实参处，提示类似：constraint failure in range_wrapper<int>: has_begin<t> is not satisfied</t></int>。
- 注意
requires(T& t)中的T&是为了匹配成员函数调用习惯（begin()通常是非 const 成员） - 若还需支持自由函数
begin(t)，可扩展为{ begin(t) } -> std::input_iterator; - 不要写
requires { t.begin(); }—— 缺少括号包裹表达式会导致语法错误
C++17：用 SFINAE + std::void_t 实现等效检查
没有 concept 时，常用 std::void_t 做“探测”：构造一个依赖 T::begin 的类型，若不存在则让特化失效，不参与重载决议。
template<typename t typename="void">
struct has_begin : std::false_type {};
template<typename t>
struct has_begin<t std::void_t>().begin())>>
: std::true_type {};</t></typename></typename>
再配合 std::enable_if_t 限定模板：
template<typename t>
using enable_if_has_begin = std::enable_if_t<has_begin>::value>;
template<typename t>
struct range_wrapper {
T data;
template<typename u="T">
auto begin() -> enable_if_has_begin<u> {
return data.begin();
}
};</u></typename></typename></has_begin></typename>
这种写法兼容 C++14 起，但可读性差、嵌套深，且一旦漏掉 std::enable_if_t，错误仍会退回到硬错误。
-
std::declval<t>()</t>是关键：它生成一个假想的T&&，避免实际构造对象 -
std::void_t<...></...>把任意合法类型映射为void，非法类型则导致特化不匹配 - 别用
sizeof(...)或decltype(...)单独做探测——它们在 SFINAE 上不如std::void_t稳定
容易被忽略的细节：const / noexcept / 返回类型都影响匹配
一个看似有 begin() 的类，可能因为 cv 限定符或异常规范不匹配而失败。例如：
-
const T& t下调用t.begin()要求该成员是const成员函数 -
requires { t.begin(); }不检查返回类型，但requires { t.begin() -> std::input_iterator; }会强制要求迭代器概念满足 - 若类只提供自由函数
begin(const T&)，上面所有检查都会失败，除非显式覆盖探测逻辑 - 模板参数推导对引用/指针敏感：传
std::vector<int>&</int>和std::vector<int></int>可能触发不同重载路径
真正健壮的约束，往往要同时覆盖成员函数、自由函数、const/non-const、lvalue/rvalue 多种情况——这正是标准库用 ranges::begin 而非裸调 t.begin() 的原因。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
