一个C++17 parameter pack的编译错误,怎么样解决

C++语言 码拜 9年前 (2016-04-02) 1464次浏览
如题,本人在网上找到一个parameter pack的例子,如下程序:

#include <iostream>
#include <vector>
#include <climits>
#include <cstdint>
#include <type_traits>
#include <utility>
 
template<typename ...Args>
void printer(Args&&... args) {
    (std::cout << ... << args) << "\n";
}
 
template<typename T, typename... Args>
void push_back_vec(std::vector<T>& v, Args&&... args)
{
    (v.push_back(args), ...);
}
 
// compile-time endianness swap based on http://stackoverflow.com/a/36937049 
template<class T, std::size_t... N>
constexpr T bswap_impl(T i, std::index_sequence<N...>) {
  return (((i >> N*CHAR_BIT & std::uint8_t(-1)) << (sizeof(T)-1-N)*CHAR_BIT) | ...);
};
template<class T, class U = std::make_unsigned_t<T>>
constexpr U bswap(T i) {
  return bswap_impl<U>(i, std::make_index_sequence<sizeof(T)>{});
}
 
int main()
{
    printer(1, 2, 3, "abc");
 
    std::vector<int> v;
    push_back_vec(v, 6, 2, 45, 12);
    push_back_vec(v, 1, 2, 9);
    for (int i : v) std::cout << i << " ";
 
    static_assert(bswap<std::uint16_t>(0x1234u)==0x3412u);
    static_assert(bswap<std::uint64_t>(0x0123456789abcdefULL)==0xefcdab8967452301ULL);
}

用g++5.3/6.1编译 g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
都会有下面的编译错误:

main.cpp: In function "constexpr T bswap_impl(T, std::index_sequence<N ...>)":
main.cpp:22:49: error: binary expression in operand of fold-expression
   return (((i >> N*CHAR_BIT & std::uint8_t(-1)) << (sizeof(T)-1-N)*CHAR_BIT) | ...);
           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
main.cpp: At global scope:
main.cpp:23:2: warning: extra ";" [-Wpedantic]
 };

上面这些是什么意思呢? 没有看懂啊

解决方案

5

clang 3.8 通过
手头没gcc6.x没测试

10

fold expression的格式是(N4594/expr.prim.fold/Paragraph 1):

引用:

fold expression的格式是(N4594/expr.prim.fold/Paragraph 1):

引用

fold-expression:
( cast-expression fold-operator … )
( … fold-operator cast-expression )
( cast-expression fold-operator … fold-operator cast-expression )

Quote:

((i >> N*CHAR_BIT & std::uint8_t(-1)) << (sizeof(T)-1-N)*CHAR_BIT)

不是cast-expression。

不对,括号看岔了……
既然有括号应该就是cast-expression,看来是gcc bug了,怪不得clang能过。


CodeBye 版权所有丨如未注明 , 均为原创丨本网站采用BY-NC-SA协议进行授权 , 转载请注明一个C++17 parameter pack的编译错误,怎么样解决
喜欢 (0)
[1034331897@qq.com]
分享 (0)