c++ - 使用 constexpr-if 时出错：在 'constexpr' 之前应有 '('

Question

我正在尝试使用 if-constexpr 来检查一些东西，但我遇到了类似的错误

预期 '(' 在 'constexpr' 之前

'else' 没有前面的 'if' "

到目前为止，我检查我的代码没有问题

我的编译标志是 g++ -std=c++17 main.cpp

#include <iostream>
template<typename T, typename Comp = std::less<T> >
struct Facility
{
template<T ... list>
struct List
{
    static void print()
    {
        std::cout<<"\""<<"Empty List"<<"\""<<"\n";
    }
};
template<T head,T ... list>
struct List<head,list...>
{
    static void print()
    {
        std::cout<<"\"" << head;
        ((std::cout << " " << list), ...);
        std::cout<<"\""<<"\n";
    }
};
template<unsigned N,typename AA>
struct RemoveFirst{};

template<unsigned N,T head,T ... Rest>
struct RemoveFirst<N,List<head,Rest...>>
{
    struct result
    {
        static void print()
        {   
            if constexpr (N == head)
            {
                std::cout<<"";
            }
            else
            {
                std::cout<<"\""<<head;
                ((std::cout << " " << Rest), ...);
                std::cout<<"\""<<"\n";
            }
        }
    };
 };
};
template<int ... intlist>
using IntList = typename Facility<int>::List<intlist...>;

int main()
{
 using IntFacility = Facility<int>;
 using List = IntList<2, 8, 2, 3, 5, 10, 8, 5>;
}

Answer 1

不支持 C++17 最终版本的旧版本 GCC（最高 6.x）会给出该错误，因为它们识别constexpr为关键字但不理解 constexpr-if 构造。确保您的 GCC 是版本 7 或更高版本。