[英]Pointer to member function or to static function in template context
我在通用上下文中使用指向成員 function 的指針,它工作正常。
struct Mock{
static int inc(int){
return 0;
}
static int dec(int){
return 0;
}
};
struct Real{
Real(int v) : v(v){}
int inc(int a) const{
return a + v;
}
int dec(int a) const{
return a - v;
}
private:
int v;
};
template<typename C, typename F>
auto user(C &c, F func){
return (c.*func)(5);
}
int main(){
Real real(5);
return user(real, &Real::inc);
}
但是,如果我嘗試通過 static 方法(在Mock
的情況下),它會停止工作,因為 static 方法就像普通的 function 一樣。
我需要在user
function 中進行更改,以便編譯並正常工作?
我可以用 lambda 做到這一點,但它是更多樣板代碼。
我正在考慮 SFINAE 或 constexpr if,但我不確定如何檢測方法是否為 static。
int main(){
Mock real;
return user(real, &Mock::inc);
}
我正在使用 C++17。
std::is_member_pointer
可用於檢測指向成員的指針。 然后,您可以做一個簡單的if constexpr
來改變這些和應該只接受參數的可調用對象之間的行為。
template<typename C, typename F>
auto user(C &c, F func){
if constexpr (std::is_member_pointer_v<F>)
return (c.*func)(5);
else
return func(5);
}
或者,如果你稍微重組你的Mock
struct Mock{
static int inc(Mock const&, int){
return 0;
}
static int dec(Mock const&, int){
return 0;
}
};
然后你可以簡單地使用std::invoke
template<typename C, typename F>
auto user(C &c, F func){
return std::invoke(func, c, 5);
}
過載和 SFINAE:
template<typename C, typename F>
auto user(C& c, F func) -> decltype((c.*func)(5)) {
return (c.*func)(5);
}
template<typename C, typename F>
auto user(C&, F func) -> decltype(func(5)) {
return func(5);
}
使用if constexpr
,您可以這樣做:
template<typename C, typename F>
auto user([[maybe_unused]]C& c, F func) {
if constexpr (std::is_invocable_v<F, C, int>) {
return std::invoke(func, c, 5);
} else {
static_assert(std::is_invocable_v<F, int>);
return std::invoke(func, 5);
}
}
我的 5 美分。
這就是我在閱讀@StoryTeller 的回答后得出的結論:
#include <type_traits>
#include <functional>
namespace class_invoke_impl_{
template <class T, class F, class... Args>
constexpr auto class_invoke_(T &&cl, F func, std::true_type, Args&&... args){
return (std::forward<T>(cl).*func)(std::forward<Args>(args)...);
}
template <class T, class F, class... Args>
constexpr auto class_invoke_(T const &, F func, std::false_type, Args&&... args){
return func(std::forward<Args>(args)...);
}
}
template <class T, class F, class... Args>
constexpr auto class_invoke(T &&cl, F func, Args&&... args){
using namespace class_invoke_impl_;
return class_invoke_(std::forward<T>(cl), func, std::is_member_pointer<F>{}, std::forward<Args>(args)...);
}
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.