オーバーロード後にstd :: minusを呼び出すことができません - 演算子

Question

私のC++コードの次のスニペットでコンパイルエラーが発生しています。

struct Power{ 
    int power; 
    int age; 
    int operator-(const Power& p1) 
    { 
    return this->power - p1.power; 
    } 
}; 


int main() { 
    Power p1; 
    p1.power = 1; 
    p1.age = 25; 
    Power p2; 
    p2.power = 2; 
    p2.age = 26; 
    std::cout<<std::minus<Power>()(p1, p2)<<std::endl; 
} 

build with C++ 11。建てられない。 エラーメッセージは、次のとおり

error: no match for ‘operator<<’ (operand types are ‘std::ostream {aka std::basic_ostream<char>}’ and ‘Power’) 
    std::cout<<std::minus<Power>()(p1, p2)<<std::endl; 
     ^
In file included from /usr/include/c++/5/iostream:39:0, 
       from rvaluereference.cpp:1: 
/usr/include/c++/5/ostream:628:5: note: candidate: std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&) [with _CharT = char; _Traits = std::char_traits<char>; _Tp = Power] <near match> 
    operator<<(basic_ostream<_CharT, _Traits>&& __os, const _Tp& __x) 
    ^
/usr/include/c++/5/ostream:628:5: note: conversion of argument 1 would be ill-formed: 
rvaluereference.cpp:60:39: error: cannot bind ‘std::ostream {aka std::basic_ostream<char>}’ lvalue to ‘std::basic_ostream<char>&&’ 
..... 

Answer 1

std::minus has a single template parameter入力と出力の両方のタイプを定義します。それはタイプスイッチングAFAICTを処理しません。 operator-はPowerとなり、intが返されますが、std::minus<Power>は、Powerを返す必要があります。 std::minus<Power>がPowerを返し、ostreamにoperator<<の過負荷がなく、Powerを受け入れるため、苦情があります。

コメントに記載されているように、C++14、std::minus<void> accepts mismatched arguments and deduces the return typeを使用できる場合は、C++14を使用できる場合は別のオプションです。

Answer 2

std::minusはT operator-(const T &lhs, const T &rhs)しか実行できませんが、オペレータには同じ制限がありません。クラスの外のオペレータ宣言：

int operator-(const Power &lhs, const Power &rhs) { 
    return lhs.power - rhs.power; 
} 

を、今、あなたはあなたはそれが演算子をオーバーロードする前に作業するために使用のように聞こえる作るstd::cout << p1 - p2 << std::endl;