如何确定 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(std::declval(TestCBClass::testStaticMethod))

您不必使用 std::declval 并传递实际参数，甚至它们的类型，只要知道什么是静态/非静态成员函数的返回类型。相反，您可以编写自己的 trait 来了解给定函数的返回类型：

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

Answer 4

在编译时推断返回类型的最新语法是这样的：

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>();

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