我正在尝试确定各种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;
};
答案 0 :(得分:6)
如果您更喜欢列出参数类型而不是相应的虚拟值,您也可以使用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;
}
答案 1 :(得分:5)
如何确定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;
}
答案 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);
答案 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类,该类将返回任何类型,并且您将能够返回该类型的默认值。 ?✨