c – 别名std模板函数

发布时间：2020-12-16 04:56:15 所属栏目：百科来源：网络整理

导读：我需要使用别名std :: get函数来提高代码的可读性. 不幸的是我得到了编译时错误get 0在命名空间’std’中没有命名类型. using等同于typedef,因此需要使用类型. 我使用std :: tuple来表示一些数据类型： using myFoo = std::tupleint,int,double,string;using

我需要使用别名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上看到它.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!