代码之家 › 专栏 › 技术社区 › bipll

有办法摆脱这种模棱两可的局面吗?

ambiguous-call c++

bipll · 技术社区 · 6 年前

考虑这个(相当)简单的例子:

#include <iostream>

struct Out {
    int value;
};
template<class Sink> decltype(auto) operator<<(Sink &&s, Out const &out) {
    return out.value > 0? s << out.value : s;
}

struct In {
    std::ostream &sink;
    template<typename T> In &operator<<(T const &t) {
        return sink << t, *this;
    }
};

int main() {
    In in{std::cout};
    in << (1 << Out{3}) << '\n';    // Ok
    in << Out{42} << '\n';
        // error: use of overloaded operator '<<' is ambiguous
        // (with operand types 'In' and 'Out')
}

这样的模棱两可能解决吗我们有两个类,每个类都定义了这样一个运算符重载以将其转发到其内部类型(类是由两个不同的人独立设计的,另一个人试图在同一个应用程序中使用它们) A 的 friend operator<< 试着改变 一个 到 int 使用某种复杂的sfinae来排除一些重载看起来仍然没有帮助。

2 回复 | 直到 6 年前

Jarod42 6 年前

您可能会创建其他重载,以便更好地匹配:

decltype(auto) operator<<(In& in, Out const &out) {
    return in.operator<<(out);
}

decltype(auto) operator<<(In&& in, Out const &out) {
    return in.operator<<(out);
}

bipll 6 年前

一些半古老的SFINAE似乎做到了这一点,因为它现在被gcc和clang都接受了(他们都同样地打印“8”和“42”):

#include <iostream>
#include <utility>

template<typename S, typename T> class can_shl {
    using Left = char;
    struct Right { char c[2]; };
    template<typename U> static constexpr decltype(
            std::declval<S>() << std::declval<U>(), Left{}) 
        has_it(U &&);
    static constexpr Right has_it(...);
public:
    static constexpr bool value = sizeof(has_it(std::declval<T>())) == 1;
};

struct Out {
    int value;
};
template<class Sink> auto operator<<(Sink &&s, Out const &out) 
    -> std::enable_if_t<!can_shl<Sink, Out>::value, decltype(out.value > 0? s << out.value : s)> 
{   
    return out.value > 0? s << out.value : s;
}

struct In {
    std::ostream &sink;
    template<typename T> In &operator<<(T const &t) {
        return sink << t, *this;
    }
};

int main() {
    In in{std::cout};
    in << (1 << Out{3}) << '\n';    // Ok
    in << Out{42} << '\n';
}

就我个人而言,我对“只有在它不能自己编译的情况下才允许”的方法不太有信心(这可能是一个(静态的)ub吗?如果我是C++标准,我会说什么?

推荐文章

AstralHex · 矩阵乘法代码工作不正常

4 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

4 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

4 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

4 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

4 月前

Die4Toast · 递归调用成员箭头运算符->

4 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

4 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

5 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

5 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

5 月前