c++ - 调用非成员运算符重载

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 .