如何确定C ++ 11成员函数的返回类型

时间:2014-09-29 19:06:09

标签: c++ c++11 decltype

我正在尝试确定各种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;
};

4 个答案:

答案 0 :(得分:6)

如果您更喜欢列出参数类型而不是相应的虚拟值,您也可以使用std::result_ofdecltype,如下所示:

#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.

答案 1 :(得分:5)

  

如何确定C ++ 11成员函数的返回类型?

<强>答案:

您可以像下面的玩具示例一样使用decltypestd::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

答案 2 :(得分:4)

  

我尝试了各种声明,例如decltype(std :: 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

答案 3 :(得分:0)

最新语法可推断出编译时的返回类型

std::invoke_result_t<decltype(&Presenter::present), Presenter, QSqlQuery &> someVariable;

让我们考虑一个示例,您想要构造一个具有默认值的对象,例如。 QVector<int>(),但是您需要从模板参数推断出这种类型,在我们的示例中是模板参数Presenter,我们需要推断出具有一个参数Presenter::present(QSqlQuery &)的类方法的返回类型:

template<typename Presenter>
inline auto defaultReturnValue() const
{
    return std::invoke_result_t<decltype(&Presenter::present), Presenter, QSqlQuery &>();
}

上面的代码推导了此类的返回类型:

class VectorPresenter final
{
public:
    QVector<int> present(QSqlQuery &query) const;
};

最后,您将致电:

const auto defaultValue = defaultReturnValue<VectorPresenter>();

结果将是您在QVector<int>变量中拥有defaultValue实例。 现在,您可以创建一个presenter类,该类将返回任何类型,并且您将能够返回该类型的默认值。 ?✨