ADL与当前名称空间中的功能发生冲突

Question

我的命名空间中有一个功能。它的名称是<代码>销毁。 std命名空间还包含 and nofollow noreferrer' 。当我在命名空间中调用我的功能时，调用是模棱两可的，因为std :: destroy也添加到通过参数依赖的查找设置的过载分辨率中。

#include <string>
#include <memory>

namespace my {

    template <typename TIter>
    void destroy(TIter it_begin, TIter it_end) noexcept
    {
        // Dummy
    }
    
    void func(std::string *p_begin, std::string *p_end)
    {
        destroy(p_begin, p_end);
    }

}

以上代码未能 compile 。

g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'void my::func(std::string*, std::string*)':
main.cpp:14:16: error: call of overloaded 'destroy(std::string*&, std::string*&)' is ambiguous
   14 |         destroy(p_begin, p_end);
      |         ~~~~~~~^~~~~~~~~~~~~~~~
main.cpp:7:10: note: candidate: 'void my::destroy(TIter, TIter) [with TIter = std::__cxx11::basic_string<char>*]'
    7 |     void destroy(TIter it_begin, TIter it_end) noexcept
      |          ^~~~~~~
/usr/local/include/c++/11.2.0/bits/stl_construct.h:240:5: note: candidate: 'void std::destroy(_ForwardIterator, _ForwardIterator) [with _ForwardIterator = std::__cxx11::basic_string<char>*]'
  240 |     destroy(_ForwardIterator __first, _ForwardIterator __last)
      |     ^~~~~~~

好的，在调用此功能时，我可以明确指定名称空间：my :: destion（p_begin，p_end）。但这不是通用解决方案。想象一下，我添加了一个函数void ababaken（std :: string），但后来具有相同名称的函数将添加到std中。我的代码将再次产生汇编错误。而且我不想明确指定每个功能调用的命名空间。

当std函数被ADL捕获时，我还能做些什么来避免使用std namepace的歧义？如何防止ADL？

Answer 1

如果您不想装饰所有通话，则可以：

• 用lambda替换功能，这些功能不受ADL的影响。
• 用静态成员函数替换名称空间。

如果您是一次性解决方案，则可以：

• （destion）（p_begin，p_end）;围绕括号中的函数名称。

• my :: destion（p_begin，p_end）;正如您所说的，合格的名称也有效。

Answer 2

您只有冲突，因为 参数和在命名空间std中声明了函数。

ADL不会引起MY :: DESTION和std :: Destry之间的冲突。因此，以下内容是完全可以的：

struct foo 
{

};

namespace my {

    template <typename TIter>
    void destroy(TIter it_begin, TIter it_end) noexcept
    {
        // Dummy
    }

    struct bar
    {

    };

    void func(foo *p_begin, foo *p_end)
    {
        destroy(p_begin, p_end);
    }

    void func(bar *p_begin, bar *p_end)
    {
        destroy(p_begin, p_end);
    }
}

您特别有问题，因为您想在命名空间std中声明的对象上my :: destion。

这就是为什么在std :: String上添加我的命名空间范围的分辨率是 destion 是最好的解决方案。

#include <string>

namespace my {

    void func(std::string *p_begin, std::string *p_end)
    {
        my::destroy(p_begin, p_end);
    }

}

不用担心未来。您无法预测。如果标准库的未来版本添加了类或函数，其名称与代码中的内容相同，那么您可能会有更多的问题。

坦率地说，未来的编译器错误比默默地选择错误函数过载的编译器要好得多。