Question

我使用g ++ 8.3在-std = c ++ 14和-std = c ++ 1z下获得了预期的工作。但是，当我升级到g ++ 9.1时，它仅在-std = c ++ 14时有效，而不适用于更高版本。

#include <iostream>
using namespace std;

#if __cplusplus >= 201500L // C++17 or higher

template <typename... Args>
auto sum(Args&&... args) 
{
    return (0 + args);// + ... );
}

#elif __cplusplus >= 201402L // C++14

auto sum() { return 0; }
template <typename T>
auto sum(T&& t) { return t; }
template <typename T, typename... Rest>
auto sum(T&& t, Rest&&... r) 
{
    return t + sum(forward<Rest>(r)...);
}

#else
#error "***You need C++14 or higher to compile this program***"
#endif

int main()
{
    cout << sum() << " result of 2 + 3=>" << sum(2, 3) <<
        " result of 12+15+18=>" << sum(12, 15, 18) << "\n";
#if __cplusplus >= 201500L // C++17 or higher
    cout << "Compiled as C++17 program\n";
#else
    cout << "Compiled as C++14 program\n";
#endif
}

当我使用-std = c ++ 1z，c ++ 17或c ++ 2a时，

g ++ 9.1会生成以下错误消息（及其兄弟姐妹）：

In function 'auto sum(Args&& ...)':
error: parameter packs not expanded with '...':
   12 |     return (0 + args);// + ... );
      |            ~~~^~~~~~~
note:         'args'
In function 'int main()':
error: no match for 'operator<<' (operand types are 'std::ostream' {aka 'std::basic_ostream<char>'} and 'void') 
   32 |     cout << sum() << " result of 2 + 3=>" << sum(2, 3) <<
      |     ~~~~ ^~ ~~~~~
      |     |          |   
      |     |          void
      |     std::ostream {aka std::basic_ostream<char>}

Answer 1

(0 + args)不是有效的折叠表达式。

您想要(0 + ... + args)。

另外，对我来说，GCC 8.3（带有-std=c++1z）rejects是您的代码。

可变参数模板折叠程序在gcc9中失败

1 个答案: