从模板函数返回匿名结构（用于结构化绑定）

Question

我想使用新的 C++17 功能，并想使用结构化绑定来 return 来自（模板）函数的多个值。我可以让它工作，但我希望它工作更好。代码的简化版本是（真正的代码更大并且有更好的变量名）：

template <class O>
struct {
  int a;
  double b;
} F(int i,O o) {
   return {i, o(i)};
}
void foo(int i) {
   auto [a,b]=F(i, [=](int k)->double {return 1.0/k; /*...*/});
   // ...
};

匿名结构和模板函数的组合在 VS 2019 中不起作用，所以我不得不写：

struct Dummy {
  int a;
  double b;
};
template <class O>
Dummy F(int i,O o) {
   return {i, o(i)};
}
void foo(int i) {
   auto [a,b]=F(i, [=](int k)->double {return 1.0/k; /*...*/});
   // ...
};

或：

template <class O>
std::tuple<int,double> F(int i,O o) {
   return {i, o(i)};
}
void foo(int i) {
   auto [a,b]=F(i, [=](int k)->double {return 1.0/k; /*...*/});
   // ...
};

偏好：

我不需要 return 类型的结构，因此我更喜欢匿名变体，我知道它适用于非模板函数。
我希望结构中的成员名称用于文档目的，因此我发现元组变体不太清楚。（对于更多相同类型的成员，这尤其是一个问题。）

那么，处理模板函数的最佳方法是什么？

错误信息是：

错误 C2143：语法错误：缺少“;”在 'identifier'
错误 C2332：'struct'：缺少标签名称
error C3306: '': > 未命名的 class 模板不被允许

Answer 1

局部结构如何：

template <class O>
auto F(int i, O o) {
    struct {
        int a;
        double b;
    } res {i, o(i)}; 
   return res;
}
void foo(int i) {
   auto [a,b] = F(i, [=](int k)->double {return 1.0/k; /*...*/});
   // ...
};

Demo

Answer 2

我建议使用 std::tuple（或本例中的 std::pair）。例如

#include<tuple>

template <class O>
auto F(int i,O o) {
   return std::tuple{i, o(i)};
}
void foo(int i) {
   auto [a,b]=F(i, [=](int k)->double {return 1.0/k; /*...*/});
   // ...
};

从模板函数返回匿名结构（用于结构化绑定）

Returning anonymous struct from template function (for structured binding)

c++

c++17