从参数的返回类型中推断类型

我理解模板不能从赋值中推断出类型,即

template 
T aFunction (int a) { /*...*/ }; // This obviously won't work

而且很明显为什么.但这会奏效:

template 
T aFunction (T a, T b) { return a + b; }; // a-ok

原因T将从论证中推断出来.我想从中推断一下:

template 
T aFunction (std::function a) { return a(3);};
                           ^
                           |
  I specified it! ----------

所以当使用时,函数应该做什么没有歧义:

std::function blah = [](int x){ return x / 2.0f; };
aFunction(blah);

唉,编译器不会与我合作:

调用'aFunction'没有匹配的成员函数

候选模板被忽略:无法匹配'function'与'(lambda at file.hpp:274:16)'

有没有办法让这种情况发生？缺少模板特化(这是一个非常通用的类),或者是一个虚拟参数(我不是那么绝望).

PD:

完全披露:以上只是问题的简化,正是我需要的是:

template 
class MyStuff {

    template 
    MyStuff aFunction(std::function a){ 
        /*for each stuff in MyStuff do a(stuff)*/ 
    }
}

其中MyStuff包含类型的属性T和一堆inline函数,例如aFunction.

如评论中所述,这有效:

#include 

template 
struct MyStuff {
    template 
    MyStuff aFunction(std::function a){ 
        return {};
    }
};

int main() {
    MyStuff stuff;
    std::function fn = [](int) { return 0.; };
    stuff.aFunction(fn);
}

相反,这不起作用:

int main() {
    MyStuff stuff;
    stuff.aFunction([](int) { return 0.; });
}

而错误是问题中发布的错误:

注意:候选模板被忽略:无法匹配'function'与'(lambda at main.cpp:15:21)'

原因是类型推导仅适用于确切类型.不允许转换.在你的情况下,编译器应首先推导出lambda的所有返回类型,而不是将其转换为std::function某种方式,最后从使用lambda构造的函数中推导出函数的返回类型.
这不是类型推导的工作原理.

你可以用这样的东西解决它:

template 
struct MyStuff {
    template 
    auto aFunction(F &&f) -> MyStuff(f)(std::declval()))> { 
        return {};
    }
};

在Coliru看到它.