c – 别名std模板函数

我需要使用别名std :: get函数来提高代码的可读性.

不幸的是我得到了编译时错误get< 0>在命名空间’std’中没有命名类型. using等同于typedef,因此需要使用类型.
我使用std :: tuple来表示一些数据类型:

using myFoo = std::tuple<int,int,double,string>;
using getNumber = std::get<0>;

我看一些以前的问题,但提出的解决方案是包装和使用std :: forward.我不想为每个成员编写这样的代码.

> Q1 from SO
> Q2 from SO

有没有办法只使用关键字解决这个问题?

解决方法

is there a way to get around this using onlyusing keyword?

我会说不,因为std :: get不是一个类型(因此它不符合这样的用途).
而且,即使有可能,请注意std :: get是一个重载函数,因此您需要将自己绑定到特定的实现.

也就是说,在C 17中,你可以这样做:

#include<tuple>
#include<utility>

using myFoo = std::tuple<int,double>;
constexpr auto getNumber = [](auto &&t) constexpr -> decltype(auto) { return std::get<0>(std::forward<decltype(t)>(t)); };

template<int> struct S {};

int main() {
    constexpr myFoo t{0,0.};
    S<getNumber(t)> s{};
    (void)s;
}

如您所见,constexpr lambdas和变量可帮助您创建可用于重命名函数的编译时(假设)包装器.

正如@ T.C正确指出的那样.在评论中,如果你想进一步概括它并获得std :: get的近乎完美的别名,你可以使用变量模板:

template<int N>
constexpr auto getFromPosition = [](auto &&t) constexpr -> decltype(auto) { return std::get<N>(std::forward<decltype(t)>(t)); };

现在您可以按照以下方式调用它:

S<getFromPosition<0>(t)> s{};

wandbox上看到它.

相关文章

本程序的编译和运行环境如下(如果有运行方面的问题欢迎在评...
水了一学期的院选修,万万没想到期末考试还有比较硬核的编程...
补充一下,先前文章末尾给出的下载链接的完整代码含有部分C&...
思路如标题所说采用模N取余法,难点是这个除法过程如何实现。...
本篇博客有更新!!!更新后效果图如下: 文章末尾的完整代码...
刚开始学习模块化程序设计时,估计大家都被形参和实参搞迷糊...