查找表constexpr

Question

我期待创造坐标的查找表，是这样的：

int a[n][2] = {{0,1},{2,3}, ... } 

对于给定的n，在编译时被创建。我开始寻找到constexpr，但好像返回constexpr std::vector<std::array <int, 2> >不是一个选项的功能，因为我得到：

invalid return type 'std::vector<std::array<int, 2ul> >' of constexpr function 

如何创建这样的编译时间阵列？

Answer 1

我会先转储代码，稍后在必要/适当的地方添加引用和注释。如果结果与您正在寻找的结果稍微接近，请留下评论。

指数包扩展的技巧（这里要求应用发生器），由Xeo，从this answer，修改为使用std::size_t而不是unsigned。

#include <cstddef> 

// by Xeo, from https://stackoverflow.com/a/13294458/420683 
template<std::size_t... Is> struct seq{}; 
template<std::size_t N, std::size_t... Is> 
struct gen_seq : gen_seq<N-1, N-1, Is...>{}; 
template<std::size_t... Is> 
struct gen_seq<0, Is...> : seq<Is...>{}; 

发电机功能：

#include <array> 

template<class Generator, std::size_t... Is> 
constexpr auto generate_array_helper(Generator g, seq<Is...>) 
-> std::array<decltype(g(std::size_t{}, sizeof...(Is))), sizeof...(Is)> 
{ 
    return {{g(Is, sizeof...(Is))...}}; 
} 

template<std::size_t tcount, class Generator> 
constexpr auto generate_array(Generator g) 
-> decltype(generate_array_helper(g, gen_seq<tcount>{})) 
{ 
    return generate_array_helper(g, gen_seq<tcount>{}); 
} 

用例：

// some literal type 
struct point 
{ 
    float x; 
    float y; 
}; 
// output support for `std::ostream` 
#include <iostream> 
std::ostream& operator<<(std::ostream& o, point const& p) 
{ return o << p.x << ", " << p.y; } 

// a user-defined generator 
constexpr point my_generator(std::size_t curr, std::size_t total) 
{ 
    return {curr*40.0f/(total-1), curr*20.0f/(total-1)}; 
} 

int main() 
{ 
    constexpr auto first_array = generate_array<5>(my_generator); 
    constexpr auto second_array = generate_array<10>(my_generator); 

    std::cout << "first array: \n"; 
    for(auto p : first_array) 
    { 
     std::cout << p << '\n'; 
    } 
    std::cout << "========================\n"; 

    std::cout << "second array: \n"; 
    for(auto p : second_array) 
    { 
     std::cout << p << '\n'; 
    } 
} 

Answer 2

有关使用GNU的gperf或某种其他代码生成工具什么？

Answer 3

随着C++ 14，你不需要太多的模板魔法。这里的如何有一个查找表用于f(x) = x^3用一个例子的第一坐标是所述x值和第二坐标是所述f(x)值：

#include <iostream> 

template<int N> 
struct Table 
{ 
    constexpr Table() : values() 
    { 
     for (auto i = 0; i < N; ++i) 
     { 
      values[i][0] = i; 
      values[i][1] = i * i * i; 
     } 
    } 
    int values[N][2]; 
}; 

int main() { 
    constexpr auto a = Table<1000>(); 
    for (auto x : a.values) 
     std::cout << "f(" << x[0] << ") = " << x[1] << '\n'; 
}