c++ - gcc8.2 和 (intel) icc19.0.1 之间的 constexpr 差异

以下代码在 gcc 8.2 上编译，但在 icc 19.0.1 上编译失败:

#include <tuple>

template <typename Type, typename... TypeList>
constexpr size_t f(std::tuple<TypeList...> const &){
    return 0;
}

template <typename Type, typename Tuple>
size_t g(Tuple && t){
    static size_t constexpr v= f<Type>(t);
    return v;
}

size_t h(){
    std::tuple<int> tuple;
    return g<int>(tuple);
}

我从 icc 收到的错误是:

error: expression must have a constant value
static size_t constexpr v = f<Type>(t);
                            ^
note: the value of parameter "t" cannot be used as a constant

英特尔的编译器是正确的，因为 't' 通常是未知的，不能用作常量。但是，仅使用 是 在编译时已知的 't' 类型(用于定义模板参数包 'TypeList')。

为什么这在 gcc 中允许，而在 icc 中不允许？哪个编译器是正确的？

最佳答案

这并没有回答我关于谁是正确的以及为什么是正确的问题，但这里有一个(稍微不那么优雅)的解决方法，适用于两个编译器。如果有人知道更好的解决方案，我会很高兴。

template <typename Type, typename Tuple, size_t... Indices>
constexpr size_t f(std::index_sequence<Indices...> const &){
    // TypeList is now 'std::tuple_element_t<Indices, TTuple>...'
    return 0;
}
template <typename Type, typename Tuple>
constexpr size_t f(){
    using BareTuple = std::remove_const_t<std::remove_reference_t<Tuple> >;
    return f<Type, BareTuple>
        (std::make_index_sequence<std::tuple_size_v<BareTuple>>{});
}
template <typename Type, typename Tuple>
constexpr size_t g(Tuple && t){
    size_t constexpr occurrences = f<Type, Tuple>();
    return occurrences;
}
...

关于c++ - gcc8.2 和 (intel) icc19.0.1 之间的 constexpr 差异，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/54424180/