選擇功能通過元編程

Question

假設以下兩個功能可能會或可能不會被用戶提供：

void foo(int) { std::cout << "foo int" << std::endl; } 
void foo() { std::cout << "foo void" << std::endl; } 

在我的實現，我想打電話給foo(int)如果用戶定義它，否則foo()。這可以如下進行：

template<class Int> auto call_foo(Int i) -> decltype(foo(i)) { return foo(i); } 
template<class... Int> void call_foo(Int... i) { return foo(); } 

但是，如果我們想反其道而行之，即寧願foo()超過foo(int)，下面的天真嘗試不起作用。

template<class Int> auto call_foo(Int i) -> decltype(foo()) { return foo(); } 
template<class... Int> void call_foo(Int... i) { return foo(i...); } 

的問題是，decltype(foo())不依賴於Int，所以foo()可能不存在不SFINAE結果。

一種可能的解決辦法是要求用戶定義的

void foo(int, void*) { std::cout << "foo int" << std::endl; } 
void foo(void*) { std::cout << "foo void" << std::endl; } 

像這樣無論是，我們總是有foo參數上，我們可以做的「模板與參數包」的把戲。雖然這在技術上解決了這個問題，但它很難看，因爲它要求用戶採取一個額外的參數，這個參數對他/她來說可能並不明顯。那麼有沒有辦法達到同樣的效果沒有的附加參數？

Answer 1

以下可能會有所幫助：

template<typename ... Ts> void foo(Ts...) = delete; 
void foo(int) { std::cout << "foo int" << std::endl; } 
//void foo() { std::cout << "foo void" << std::endl; } 

namespace detail 
{ 

struct overload_priority_low {}; 
struct overload_priority_high : overload_priority_low{}; 

template <typename Int> 
auto call_foo(Int i, overload_priority_low) -> decltype(foo(i)) { return foo(i); } 

template <typename Int> 
auto call_foo(Int , overload_priority_high) -> decltype(sizeof(Int), foo()) { return foo(); } 

} 

void call_foo(int i) 
{ 
    return detail::call_foo(i, detail::overload_priority_high{}); 
} 

Live example。

Answer 2

不需要SFINAE。只需標準重載分辨率就足夠了。

void call_func(void (*f)(), int) { f(); } // #1 

template<class = void> 
void call_func(void (*f)(int), int x) { f(x); } // #2 

call_func(foo, 1); // #1 is preferred if viable. All others being equal, 
        // non-templates are preferred over templates