即使为它定义了begin（）/ end（），基于范围的for循环也无法与指针一起使用？

Question

根据此处基于范围的循环文档：

and are defined as follows: 和定义如下：

• is __range and is (__range + __bound) , where __bound is the number of elements in the array (if the array has unknown size or is of an incomplete type, the program is ill-formed) 如果range_expression是数组类型的表达式，则是__range而是(__range + __bound) ，其中__bound是数组中元素的数量（如果数组的大小未知或类型不完整，则程序有问题-formed）
• is __range.begin ) and is __range.end() ; 如果range_expression是具有名为begin的成员和/或名为end的成员（无论此类成员的类型或可访问性）的类C类型的表达式，则为__range.begin而为__range.end() ;
• is begin(__range) and is end(__range) , which are found via argument-dependent lookup (non-ADL lookup is not performed). 否则， 为begin(__range) ， 为end(__range) ，这是通过与参数相关的查找来找到的（不执行非ADL查找）。

但是，如果我为指针类型定义begin()和end() ，它将无法正常工作。

例

#include <iostream>

using LPCSTR = char const*;

LPCSTR begin(LPCSTR str)
{
    return str;
}

LPCSTR end(LPCSTR str)
{
    return str + strlen(str);
}

int main()
{
    LPCSTR text = "Hello, world!\n";
    for (auto c : text)
    {
        std::cout << c;
    }
}

错误（S）：

source_file.cpp:18:17: error: invalid range expression of type 'const char *'; no viable 'begin' function available
    for (auto c : text)
                ^ ~~~~
1 error generated.

演示

我看不到任何将指针从ADL中排除的引用，那么为什么这不起作用会有什么原因呢？

Answer 1

[basic.lookup.argdep] / 2对于函数调用中的每个参数类型T ，要考虑一组零个或多个关联的命名空间以及一组零个或多个关联类。

（2.1）—如果T是基本类型，则其关联的名称空间和类集均为空...

（2.4） -如果T是指向U或阵列U ，其相关联的命名空间和类是那些具有相关联U ...

从中可以看出，一组用char const*关联的命名空间为空，因此ADL没有什么可看的。

Answer 2

问题是这部分：

不执行非ADL查找

通过非ADL查找而不是ADL查找在此上下文中的begin和end ，因为指针不是“在全局名称空间中定义的”。