用于循环编译的 constexpr

Question

我已阅读 this，但我仍然不知道如何使用 -std=gnu++2a 进行这项工作 我不知道如何使用integer seq。你能帮我修改下面的代码以便编译吗？谢谢

constexpr bool example(const int k)
{
    return k < 23 ? true: false;
}

constexpr bool looper()
{
    constexpr bool result = false;
    for(int k = 0; k < 20; k ++)
    {
        for (int i = 0 ; i < k; ++i)
        {
        constexpr bool result = example(i);
        }
    }

    return result;
}

int main()
{
    constexpr bool result = looper();
    return 0;
}

Answer 1

constexpr 与编译时已知的变量一起使用，例如constexpr int i =1+2。编译器可以在编译前计算出结果并使其保持不变。

这里example(i);，它使用一个非常量变量并将其传递给一个采用const 的函数，你认为它是如何工作的？

而这个return k < 23 ? true: false;可以写成return k < 23 ;

如果您想在编译时使用index_sequence 完成循环工作，您可以使用类似以下的内容

#include <utility>
#include <iostream>

template<size_t ...i>
constexpr bool example(std::index_sequence<i...>){
    return (false,..., (i < 23));
}

template< size_t...j>
constexpr bool helper(std::index_sequence<j...>)
{
    return ((example( std::make_index_sequence<j>{})),...);
}

template< size_t n>
constexpr bool loop()
{
    return helper(std::make_index_sequence<n>{});
}


int main()
{
    constexpr bool result = loop<20>();
    std::cout<<result;
    return 0;
}