c++ - 模板参数 'F' 不明确

#include <functional>
#include <iostream>
template<typename T>
class MaybePtr{
    T* ptr;

public:
    MaybePtr(T* p) : ptr(p) {}

    template <typename F,typename R = std::result_of<F(T*)>::type>
    R Get(F access,F default){
        if (ptr != nullptr)
            return access(ptr);
        else
            return default(ptr);
    }
};
template <typename T>
void f_void(T*) {}
int main(){
    int * iptr = new int;
    *iptr = 10;
    auto m = MaybePtr<int>(iptr);
    auto f = [](int* i) -> int {return *i + 1; };
    auto f1 = [](int* i) -> int { return 0; };
    int r = m.Get(f, f1); // error C2782
    std::cout << f(iptr);
    int i;
    std::cin >> i;
}

错误

error C2782: 'R MaybePtr<int>::Get(F,F)' : template parameter 'F' is ambiguous

为什么 F 不明确？它应该知道 F 是一个函数，它接受一个 T* 并返回一个 R。

最佳答案

带有空闭包的 lambda 可能会衰减为函数指针，但在这里:

static_assert( std::is_same<decltype(f),decltype(f1)>::value,"different types" );

错误是正常的，Visual Studio 也是宽松的，但是您错过了 typename 并且 default 是保留关键字。

template <typename F,typename R = typename std::result_of<F(T*)>::type>

存在一个技巧:强制 lambda 衰减为函数指针。以下行编译并执行您期望的操作，当然，仅对空闭包有效:

int r = m.Get(+f, +f1);

关于c++ - 模板参数 'F' 不明确，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/24993893/