как сделать оператор имеет явный параметр C++

Question

рассмотрим код:

void foo() { } 
bool bar() { return true; } 

struct S 
{ 
    void operator=(std::function<void()> f){f();}; 
    void operator=(std::function<bool()> f){f();};  
}; 

int main() { 
    S s; 
    s = foo; // ok 
    s = bar; // error: use of overloaded operator '=' is ambiguous 
}  

Как я могу сделать этот пример однозначен?

Answer 1

Проблема вы бежите в том, что std::function<void(Args...)> разрешено отказаться от типов возврата - так как std::function<void()> и std::function<bool()> могут быть построены из bool(*)(). Последний будет двигаться по возвращению с bar, но первый будет просто отбросить его. Это совершенно правильное поведение, но это вызывает неоднозначность.

То, что вы, вероятно, хотите, чтобы избежать std::function вообще:

template <class F> 
void operator=(F f) { f(); }