強制operator_（アンダースコア）

Question

この質問は楽しいためですが、私が知っています。

しかし、私はが本当には、以下のように有効（有効が緩く定義されていると！）のようなものを持つに「曲げ」このルールをしたいと思います。

T result = somevar _ someother; 

私は可能な解決策はありませんでしたが、おそらくいくつかのプリプロセッサübertricksを使用することができます。 （もちろん、単に#define _ SOMETHINGはかなり危険である）

すべてのヘルプは大歓迎です！

Answer 1

方法：関心のうち

#include <iostream> 

struct Underscore {}; 
#define _ | Underscore() | 

template<typename T> 
struct Has 
{ 
    const T& m_t; 

    Has(const T& t) 
    : m_t(t) 
    { 
    } 
}; 

template<typename T> 
Has<T> operator|(const T& lhs, const Underscore&) 
{ 
    return Has<T>(lhs); 
} 

template<typename T, typename U> 
auto operator|(const Has<T>& lhs, const U& rhs) 
{ 
    std::cout << "This is the body of your iterator for " << lhs.m_t << " and " << rhs << std::endl; 
    return 0; 
} 

int main() 
{ 
    const std::string a = "a"; 
    const std::string b = "b"; 
    a _ b; 

} 

Answer 2

楽しみのために、このような何か？これについて

#include <iostream> 


struct _magic_ 
{ 
}; 

template<class T> 
    struct enchanted 
    { 
    enchanted(T t) : value(t) {} 
    T value; 
    }; 

static constexpr auto _ = _magic_{}; 

template<class T> 
enchanted<T> operator| (T&& t, _magic_ magic) 
{ 
    return {std::forward<T>(t)}; 
} 

template<class T, class U> 
auto operator| (const enchanted<T>& e, U u) 
{ 
    return e.value + u; 
} 

int main() 
{ 
    int x = 4; 
    int y = 5; 
    auto z = x |_| y; 

    std::cout << z << std::endl; 
}