C 20中模板的参数相关查找

Question

以下程序在C 20中编译良好：

#include <memory>

struct A{ virtual ~A() = default; };
struct B: A {};

int main()
{
    std::shared_ptr<A> p = std::make_shared<B>();
    auto x = dynamic_pointer_cast<A>(p);
}

但在C 17中，它会产生一个错误：

<source>: In function 'int main()':
<source>:9:14: error: 'dynamic_pointer_cast' was not declared in this scope; did you mean 'std::dynamic_pointer_cast'?
    9 |     auto x = dynamic_pointer_cast<A>(p);
      |              ^~~~~~~~~~~~~~~~~~~~
      |              std::dynamic_pointer_cast
In file included from /opt/compiler-explorer/gcc-11.1.0/include/c++++/11.1.0/memory:77,
                 from <source>:1:

你能告诉我C20有什么变化让它工作吗？

Answer 1

https://en.cppreference.com/w/cpp/language/adl

虽然即使普通查找什么也找不到，函数调用也可以通过ADL解析，但对具有显式指定模板参数的函数模板的函数调用需要有普通查找找到的模板的声明（否则，遇到未知名称后跟小于字符是语法错误）（直到C 20）