调用非成员运算符重载

Question

给定以下代码：

#include <iostream>
#include <functional>
#include <utility>

template<class O, class T, class = void>
constexpr bool ostreamable_with = false;

template<class O, class T> // If there's user-defined overloads
constexpr bool ostreamable_with<
    O, T, std::void_t<decltype(operator<<(std::declval<O>(),
                                          std::declval<T>()))>> = true;

struct jostream : std::reference_wrapper<std::ostream>
{
    using reference_wrapper::reference_wrapper;
    std::ostream& os() { return *this; }

    template<class T>
    jostream& operator<<(T const& v)
    {
        if constexpr(ostreamable_with<jostream&, T const&>)
            // This enables user-defined conversion on `v` too
            operator<<(*this, v); // #1
        else
            os() << v;

        return *this;
    }
};

namespace user {
    struct C
    { int a; };

    inline jostream& operator<<(jostream& os, C const& c)
    { return os << c.a; }
}

int main()
{
    jostream jos(std::cout);
    user::C u{1};
    jos << std::cref(u);
}

在行 #1 中，有一个编译器错误，因为 jostream 有一个名为 operator<< 的函数成员，因此在行 #1 中的调用（jostream::operator<<，而不是代码的第一行）试图用两个不存在的参数显式调用 jostream::operator<<。

有什么技巧可以强制调用具有冲突名称的非成员函数吗？（除了调用进行实际调用的外部函数）。 ::operator<< 调用显然不是这里的解决方案，因为重载可能在用户命名空间内，如示例所示。

（使用 gcc-7.2.0）

Answer 1

using std::operator<<;
operator<<(*this, v);

std 无论如何都是 *this 的关联命名空间，因此这不会在重载集中引入任何新内容。或者，定义一个名称空间范围 operator<< 采用一些虚拟类型并使用 using.

将其拉入

调用非成员运算符重载

Calling non-member operator overloads

c++

overloading

name-collision

c++17