删除函数和 ADL

Question

我遇到了以下涉及 ADL 和删除函数的令人困惑的示例：

第一个例子：

namespace A
{
    struct S{};

    void f(S){cout << "adl" << endl;}
}

namespace C
{
    //void f() = delete;

    //void f (double);

    void test()
    {
        A::S arg;
        f(arg);
    }
}


int main()
{
    C::test();

    return 0;
}

正如所料，A::f 是通过 ADL 调用的。在下一个示例中，C 中有一个同名的已删除函数：

namespace A
{
    struct S{};

    void f(S){cout << "adl" << endl;}
}

namespace C
{
    void f() = delete;

    //void f (double);

    void testi()
    {
        A::S arg;
        f(arg);
    }
}


int main()
{
    C::testi();

    return 0;
}

编译失败并显示错误消息error: use of deleted function 'void C::f()'。显然，删除的函数阻止了 ADL 版本进入重载表。现在来看最后一个示例：除了已删除的函数之外，现在还有另一个未删除的同名函数：

namespace A
{
    struct S{};

    void f(S){cout << "adl" << endl;}
}

namespace C
{
    void f() = delete;

    void f (double);

    void testi()
    {
        A::S arg;
        f(arg);
    }
}


int main()
{
    C::testi();

    return 0;
}

运行它会执行f 的ADL 版本。所以总结：

• 当前命名空间没有匹配的函数会导致调用 ADL 版本
• 在当前命名空间中仅包含已删除的函数会导致错误，可能是因为根本没有发现 ADL 版本
• 在当前命名空间中有另一个未删除的函数会导致调用 ADL 版本。

我的问题：这种行为是故意的吗？如果是这样，标准的哪一部分规定了这一点？

编辑：忘了说我是用onlinegdb编译的，所以用了gcc/g++。

Answer 1

确定的编译器错误。引用C++标准草案（n4659）[dcl.fct.def.delete]/2：

隐式或显式引用已删除函数的程序， 除了声明它之外，它是不正确的。 [ 注意：这包括调用 函数隐式或显式并形成指针或 指向函数的成员指针。它甚至适用于 未进行潜在评估的表达式。 如果一个函数是 重载，仅当函数被选择时才被引用 重载决议。虚函数的隐式 odr 使用确实 本身并不构成参考。 — 尾注 ]

重载解决方案无法通过 ADL 选择该重载。所以这个函数不应该被引用。第二个代码示例是一个格式良好的 C++ 程序（如果重新放入缺少的包含指令）。

---

你提到使用g++编译，注意这个issue是fixed in GCC 7.2.0