Question

我有这个代码依赖于SFINAE和默认模板参数。它按预期工作，除了最后两行注释行：

#include <tuple>
#include <iostream>
using namespace std;

template<typename T> void push(T val){
    cout<<val<<endl;
}

template<typename T> T to(){
    T dummy;
    cin>>dummy;
    return dummy;
}

template<typename T, T> class function_proxy{
    static_assert(sizeof(T)!=sizeof(T), "Error: function_proxy works with functions (duh)");
};

template<typename Return, typename... Args, Return(*func)(Args...)> class function_proxy<Return(*)(Args...), func>{
    static Return call(Args... args){
        return func(args...);
    }
    template<typename... retrieved> static Return call(retrieved... read){
        return call(read..., to<typename tuple_element<sizeof...(read), tuple<Args...> >::type >());
    }
public:
    template<typename Ret=Return, typename enable_if<!is_void<Ret>::value, int>::type=0>
    static int wrapper(){
        push(call());
        return 1;
    }

    template<typename Ret=Return, typename enable_if<is_void<Ret>::value, int>::type=0>
    static int wrapper(){
        call();
        return 0;
    }
};

int f(int arg){ return arg*3; }
void g(){ cout<<"g does nothing"<<endl; }

int main(){
    //SFINAE works nicely
    function_proxy<decltype(&f), &f>::wrapper();
    function_proxy<decltype(&g), &g>::wrapper();
    //Here it doesn't, even though there should be no ambiguity:
    //function_proxy<decltype(&f), &f>::wrapper;
    //function_proxy<decltype(&g), &g>::wrapper;
}

你可以看到，当我调用模板功能时，SFINAE就能完成它的工作。但是当我尝试获取唯一不会形成错误的函数的地址时，g ++会抱怨它无法解析重载函数的地址。

有没有办法解决这个问题而不明确告诉这些重载函数的第一个模板参数？从理论上讲，这是多余的。此外，我使用此帮助程序类的代码非常通用，因此这里的返回类型f和g可能不会那么简单。

Answer 1

SFINAE仅在重载解析期间应用，如果没有函数调用，则没有重载解析。

获取函数模板重载的地址

1 个答案: