gpt4 book ai didi

c++ - 格式错误的调用的零长度可变参数扩展

转载 作者:太空狗 更新时间:2023-10-29 20:21:02 24 4
gpt4 key购买 nike

标准专家的问题。

正在尝试回复 another question , 我开始怀疑代码的格式是否正确。

据我所知,下面的代码格式不正确

int main ()
{
std::tuple<> a;

std::get<0>(a);
}

因为调用 std::get<I>(t) , 当 tstd::tuple<Ts...> , 当 I 时格式错误超出范围 [0, sizeof...(Ts)[ .

在这种情况下 sizeof...(Ts)为零,所以范围 [0, 0[是空的,所以 std::get<I>(a)对于每个索引都是错误的I .

但是当std::get<I>(a)是通过一个空的可变参数包扩展的吗?

我的意思是:下面的代码

#include <tuple>

template <typename ... Args>
void bar (Args const & ...)
{ }

template <std::size_t ... I>
void foo ()
{
std::tuple<> a;

bar( std::get<I>(a) ... );
}

int main ()
{
foo<>();
}

使用格式错误 (?) 调用 ( std::get<I>(a) ) 但零时间可变参数扩展( sizeof...(I) 为零),是格式正确还是格式错误?

最佳答案

[temp.res]/8 :

The program is ill-formed, no diagnostic required, if:

  • [...]
  • every valid specialization of a variadic template requires an empty template parameter pack, or
  • [...]

关于c++ - 格式错误的调用的零长度可变参数扩展,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46474889/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com