ผลลัพธ์ C ++ 11 ของการอนุมานประเภทฟังก์ชันของฉันล้มเหลว

คุณสามารถใช้การอ้างอิงการส่งต่อในกรณีเหล่านี้:

#include<type_traits>
#include<utility>
#include<cassert>

using namespace std;

template <class F, class R = typename result_of<F()>::type>
R call(F&& f) { return std::forward<F>(f)(); }

int answer() { return 42; }

int main()
{
    assert(call(answer) == 42);
    return 0;
}

มักจะหลีกเลี่ยงปัญหา

ที่กล่าวว่าเหตุใดรหัสของคุณจึงใช้งานไม่ได้ @T.C. อธิบายไว้อย่างดี ในคำตอบของเขา
ดูความคิดเห็นต่อคำถามนี้เพื่อดูรายละเอียดเพิ่มเติม

คุณกำลังเรียก f เป็น lvalue ดังนั้น:

template <class F, class R = typename result_of<F&()>::type>
//                                               ^
R call(F& f) { return f(); }

ฉันคิดว่าคุณสามารถหลีกเลี่ยงอาร์กิวเมนต์เทมเพลตที่สองได้และใช้การรวมกันของ auto และ decltype()

สิ่งที่ต้องการ

#include<type_traits>

using namespace std;

template <class F>
auto call(F& f) -> decltype( f() )
 { return f(); } 

int answer()
 { return 42; }

int main()
{
    call(answer); 

    return 0;
}

หากคุณ (เมื่อคุณ) สามารถใช้ C++14 ได้ คุณสามารถใช้เพียง auto

template <class F>
auto call(F& f)
 { return f(); } 

ป.ล. : ขอโทษสำหรับภาษาอังกฤษที่ไม่ดีของฉัน