如何確定C++ 11成員函數的返回類型

Question

我試圖確定各種C++成員函數的返回類型。我明白，decltype和std :: declval可以用來做到這一點，但我遇到了語法問題並找到了有用的例子。下面的TestCBClass顯示了一個包含混合靜態和常規成員函數的啞類的示例 - 帶有無參數和返回類型的&。根據所討論的方法，我希望能夠從各種方法中聲明一個返回類型的向量。

在我的應用程序中，這些方法是std::async的回調，我需要一個向量std::future<return types>。我已經嘗試過各種聲明，如decltype(std::declval(TestCBClass::testStaticMethod))（我不確定在方法名稱前是否需要&）。這種語法是不正確的 - 當然它不能編譯，但我認爲它應該使用的方法。

class TestCBClass { 
public: 
    TestCBClass(const int& rValue = 1) 
     : mValue(rValue) { 
     std::cout << "~TestCBClass()" << std::endl; 
    } 
    virtual ~TestCBClass() { 
     std::cout << "~TestCBClass()" << std::endl; 
    } 
    void testCBEmpty(void) { 
     std::cout << "testCBEmpty()" << std::endl; 
    } 
    int testCBArgRet(const int& rArg) { 
     std::cout << "testCBArgRet(" << rArg << ")" << std::endl; 
     mValue = rArg; 
    } 
    static void testCBEmptyStatic(void) { 
     std::cout << "testCBEmptyStatic()" << std::endl; 
    } 
    static void cbArgRetStatic(const SLDBConfigParams& rParams) { 
     std::lock_guard<std::mutex> lock(gMutexGuard); 
     std::cout << rParams.mPriority << std::endl; 
    } 
    static std::string testStaticMethod(const PriorityLevel& rPrty) { 
     return "this is a silly return string"; 
    } 
private: 
    int mValue; 
}; 

Answer 1

你也可以使用std::result_of和decltype，如果你喜歡列出的參數類型，而不是相應的虛值，就像這樣：

#include <iostream> 
#include <utility> 
#include <type_traits> 

struct foo { 
    int memfun1(int a) const { return a; } 
    double memfun2(double b) const { return b; } 
}; 

int main() { 
    std::result_of<decltype(&foo::memfun1)(foo, int)>::type i = 10; 
    std::cout << i << std::endl; 
    std::result_of<decltype(&foo::memfun2)(foo, double)>::type d = 12.9; 
    std::cout << d << std::endl; 
} 

DEMO here.

Answer 2

如何確定一個C++ 11的成員函數的返回類型？

答：

你可以使用decltype和std::declval像下面的玩具例子：

#include <iostream> 
#include <utility> 

struct foo { 
    int memfun1(int a) const { return a; } 
    double memfun2(double b) const { return b; } 
}; 

int main() { 
    decltype(std::declval<foo>().memfun1(1)) i = 10; 
    std::cout << i << std::endl; 
    decltype(std::declval<foo>().memfun2(10.0)) d = 12.9; 
    std::cout << d << std::endl; 
} 

LIVE DEMO

Answer 3

我已經嘗試了各種宣言，如decltype （性病:: declval（TestCBClass :: testStaticMethod））

您不必使用std::declval並傳遞實際參數，甚至沒有它們的類型，只知道什麼是回報靜態/非靜態成員函數的類型。相反，你可以寫自己的特質才知道什麼是給定函數的返回類型：

template <typename T> 
struct return_type; 
template <typename R, typename... Args> 
struct return_type<R(*)(Args...)> { using type = R; }; 
template <typename R, typename C, typename... Args> 
struct return_type<R(C::*)(Args...)> { using type = R; }; 
template <typename R, typename C, typename... Args> 
struct return_type<R(C::*)(Args...) const> { using type = R; }; 
template <typename R, typename C, typename... Args> 
struct return_type<R(C::*)(Args...) volatile> { using type = R; }; 
template <typename R, typename C, typename... Args> 
struct return_type<R(C::*)(Args...) const volatile> { using type = R; }; 
template <typename T> 
using return_type_t = typename return_type<T>::type; 

... 

TestCBClass t; 

std::future<return_type_t<decltype(&TestCBClass::testCBArgRet)>> a = 
     std::async(&TestCBClass::testCBArgRet, t, 1); 

std::future<return_type_t<decltype(&TestCBClass::testCBEmpty)>> b = 
     std::async(&TestCBClass::testCBEmpty, t); 

std::future<return_type_t<decltype(&TestCBClass::testCBEmptyStatic)>> c = 
     std::async(&TestCBClass::testCBEmptyStatic); 

DEMO