如何确定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