概念：是在std命名空间中声明的TransformationTrait
我想知道 C++ 类型特征是否有办法限制它们的输入类型，以便它们不接受其他 type_traits
由于元函数特征实际上是类型本身（这也是您问题的根源），我们可以利用这一点并为 T 构建一个概念，以了解 Argument-Dependent Lookup (ADL) 是否可以找到一个 通过 ADL 对 T 类型的对象（在未评估的上下文中）进行更小的 STL 函数选择集，其中 T 可能是元函数特征；本质上是一种基于 ADL（可能很脆弱 - 见下文）的机制来查询给定类型 T 是否在 std 命名空间中定义，而不是查询 T 是否恰好是众多方法之一std 命名空间中定义的特征类型。
如果我们将它与TransformationTrait requirement 结合起来：
C++ 命名要求：TransformationTrait
TransformationTrait 是一个类模板，它提供其模板类型参数的转换。
要求：
- 采用一个模板类型参数（额外的模板参数是可选的并且是允许的）
- 转换后的类型是一个可公开访问的嵌套类型，名为
type
我们可以为 T 类型构造一个通用概念，作为 std 命名空间中的转换特征。但是请注意，如果由于某种原因给定项目开始声明重载来自 STL 的函数名称的函数，那么在这种意义上依赖 ADL 可能会有些脆弱。在可能的 ADL 查找的概念中扩展较小的 STL 函数选择集将使从非std-implementor 的角度更难打破。
例如定义几个概念如下：
namespace traits_concepts {
template <typename T>
concept FindsStlFunctionByAdlLookupOnT = requires(T t) {
// Rely on std::as_const being found by ADL on t, i.e.
// for t being an object of a type in namespace std.
as_const(t);
// If we are worried that a user may define an as_const
// function in another (reachable/found by lookup)
// namespace, expand the requirement with additional
// STL functions (that can be found via ADL).
move(t);
// ...
// Remember to add the appropriate includes.
};
template <typename T>
concept IsTransformationTrait = requires {
// REQ: The transformed type is a publicly accessible
// nested type named type.
typename T::type;
};
template <typename T>
concept IsStlTransformationTrait =
IsTransformationTrait<T> && FindsStlFunctionByAdlLookupOnT<T>;
template <typename T>
concept IsNotStlTransformationTrait = !IsStlTransformationTrait<T>;
} // namespace traits_concepts
应用为：
namespace not_std {
template <traits_concepts::IsNotStlTransformationTrait T>
struct NotAnStlTrait {
using type = T;
};
struct Foo {};
}; // namespace not_std
// Is an STL transformation trait
static_assert(
traits_concepts::IsStlTransformationTrait<std::remove_cv<const int>>);
// Is not an STL transformation trait.
static_assert(
!traits_concepts::IsStlTransformationTrait<std::remove_cv_t<const int>>);
static_assert(
!traits_concepts::IsStlTransformationTrait<not_std::NotAnStlTrait<int>>);
static_assert(!traits_concepts::IsStlTransformationTrait<not_std::Foo>);
int main() {}
并且，对于添加到 std 的自定义特征（现在假设我们是编译器供应商；将名称添加到 std 命名空间是 UB）：
namespace std {
// Assume we are a compiler vendor.
// (Adding names to the std namespace is UB).
template <traits_concepts::IsNotStlTransformationTrait T>
struct custom_stl_trait {
using type = T;
};
}; // namespace std
static_assert(
traits_concepts::IsStlTransformationTrait<std::custom_stl_trait<int>>);
static_assert(!traits_concepts::IsStlTransformationTrait<
std::custom_stl_trait<int>::type>);
int main() {}
DEMO.