如何编写利用 ADL 的概念

Question

我想写一个概念，让我可以使用 ADL 验证给定语句是否有效并具有正确的返回类型。

在我的具体情况下，我想编写一个 String 概念，它应该强制执行以下要求：

• 该类型的const 和非const 风格具有begin 和end 语义：

   // Akin to what this function does for `T` and `T const`
   template< typename T >
   auto test(T& t) {
       using std::begin;
       return begin(t);
   }
  
   // calling test with `T` and `T const` should be valid.
  

• begin 和 end 的返回类型对于 const 和非 const 风格是一致的，并且它们满足 std::contiguous_iterator 概念。

到目前为止，我使用的 trait 实现如下：

namespace Adl {

using std::begin;

template< typename T >
using HasBeginT = decltype(begin(std::declval< T >()));

}

template< typename T >
using HasBegin = std::experimental::is_detected< Adl::HasBeginT, T >;

但我想直接将此 ADL 用法嵌入到我的约束定义中。

Answer 1

成语using std::X; X(...); 在 C++20 之后被认为是个坏主意。现在的标准习惯用法是为X 创建一个customization point object。或者在您的情况下，使用现有的自定义点对象：std::ranges::begin。

您调用此类自定义点的方式是完整地拼写出来； 在内部，如果提供的类型有这样的调用，它可以进行 ADL 调用（没有 using 任何东西）。