包装函数 C++11 的返回类型

Question

我已经重新安排了一个关于带有模板的 std::forward 的示例。

我使用了一个包装函数，一切都很好，如果我将它声明为 void 函数。它按预期工作。

 #include<iostream>
 using namespace std;

 template <typename T, typename U>
 auto summation(T const &a,  U const& b) -> decltype(T{}, U{})  {
    cout << "call by lvalue" << endl;
      return a+b;
 }

 template <typename T, typename U>
 auto summation(T&& a, U && b) -> decltype(T{},U{}) {
    cout << "call by rvalue" << endl;
      return a+b;
 }  

 template<typename T,typename U> void func(T&& a, U && b)  { 
  summation(forward<T>(a), forward<U>(b));

 }


 int main() {

 int x = 10;
 double y = 20;

 func(x,y);
 func(10,20);

 }

但是如果我想从包装函数返回一个类型，无论我使用什么，我都会在左值函数调用时遇到错误，仅基金（x，y），说明“......函数与参数不匹配“......另一个基金（10,20）有效。

 template<typename T,typename U> auto func(T&& a, U && b) -> decltype(T{}, U{})  {
 return summation(forward<T>(a), forward<U>(b));

 }

甚至使用 c++14 decltype(auto) 来推断转发函数和类似包装器的返回类型

 template<typename T,typename U> decltype(auto) func(T&& a, U && b) {
 return summation(forward<T>(a), forward<U>(b));

 }

它也不起作用，说明“decline(type) is C++o1 extension...”，谢谢编译器，但它确实有帮助。

一个无意义的可怕解决方案是将返回类型或 T 或 U 声明为返回类型。即使我收到一条警告说“引用与返回的局部变量关联的堆栈内存”，这也会编译

 template<typename T,typename U> U func(T&& a, U && b)   {
 auto res =  summation(forward<T>(a), forward<U>(b));
 return res;

 } 

std::forward的返回类型给定(t)要转发的对象是

 static_cast<T&&>(t) 

因此，第一个使用 auto 的解决方案应该可以工作，但它不能。

对此有什么建议吗？

感谢您的帮助

Answer 1

decltype 表示在其参数中给出的表达式的类型。所以

decltype(T {}, U {})

将是表达式T{}, U{} 的类型。你在这里有逗号运算符，所以表达式的类型是逗号后面的表达式的类型，即U{}，因此decltype (T{}, U{}) 给你输入U（更准确地说，U &&，我猜，因为它是一个右值）。

你想要的是

decltype(T{} + U{})

或

decltype(a+b)

（感谢 Jonathan Wakely，请参阅 cmets）。