在c 17标准中，使用名称空间std会导致boost指针转换触发ADL

Question

我有一个简单的代码继承和shared_ptr从提升库。使用标准的c 20，代码编译良好。函数调用static_pointer_cast和dynamic_pointer_cast编译没有添加提升::命名空间-这些函数调用工作是因为ADL（参数依赖查找）。

但对于标准c 17，代码将无法编译。我会假设ADL没有实施，或者实施方式不同。但是，如果我使用名称空间std添加，代码就会编译得很好。我的问题是：std与boost库的函数调用有什么关系？

这是一个在线编译器，您可以通过使用名称空间std对<代码>进行注释来进行操作 行：https://godbolt.org/z/cz8Md5Ezf

#include <iostream>
#include <boost/shared_ptr.hpp>
#include <boost/make_shared.hpp>

// using namespace std;

class Animal {
public:
  Animal()
  {}
  virtual ~Animal()
  {}
  void speak()
  {
    std::cout << "I am an animal\n";
  }
};

class Dog : public Animal {
public:
  Dog()
  {}
  void bark()
  {
    std::cout << "Gheu --> ";
  }
  void speak()
  {
    bark();
    Animal::speak();
  }
};

typedef boost::shared_ptr<Animal> AnimalPtr;
typedef boost::shared_ptr<Dog> DogPtr;

int main()
{
  AnimalPtr ap = boost::make_shared<Animal>();
  DogPtr dp = boost::make_shared<Dog>();

  AnimalPtr ap1 = static_pointer_cast<Animal>(dp);
  DogPtr dp1 = dynamic_pointer_cast<Dog>(ap1);

  return 0;
}

如果你在想，“好吧，如果使用命名空间std删除了错误，那么那些指针转换调用必须来自std库。”我也是这么想的。但是通过gdb查看，我发现不，使用命名空间std，这些函数肯定是从提升库调用的。




Answer 1

当编译器看到<代码>

如果模板是通过通常的非限定名称查找（而非ADL）找到的，则假定是后者。但如果找不到模板怎么办？

在C 20之前，如果查找没有找到模板，则假定名称没有引用模板，并且以下代码

在您原来的情况下，这是没有意义的。例如，没有什么static_pointer_cast可以引用为的操作数

使用名称空间std 编译器可能会隐式地包含std：：static\u pointer\u cast（来自

从C 20开始，如果查找没有找到任何内容或根本没有找到任何函数，那么也假设a

通过将解释作为模板参数列表，从而进行函数调用，将完成非限定函数调用的常规非限定名称查找和ADL，如果您使用的是命名空间std，则会查找（通过ADL）boost：：shared\u pointer\u cast和（通过ADL）shared\u pointer\u cast，但由于您正在传递一个boost：：shared\u ptr，因此需要一个std：：shared\u ptr参数的std版本将不可行，并且总是通过重载解析来选择boost版本。此部分与C 20保持不变。

注意，这是C 20中的一个突破性变化。在一些非常常见的情况下，您可能希望