4

给定以下代码：

#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);
}

在 line#1中，有一个编译器错误，因为jostream有一个函数成员被调用operator<<，因此在 line 中的调用#1（里面的注释行jostream::operator<<，而不是代码的第一行）试图jostream::operator<<使用两个参数进行显式调用，这两个参数不存在.

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

（使用 gcc-7.2.0）

4

1 回答 1

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

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

于 2017-10-28T02:45:22.703 回答