L>Регресс, это когда у тебя есть задача — посчитать хэши для набора строк, известных во время компиляции, а ты, вместо того, чтобы написать простой, понятный и поддерживаемый код, пишешь compile time crc32, который а) нужно тестировать б) нужно поддерживать в) отличается от crc32 ф-ии, используемой в рантайме г) увеличивает время компиляции д) тянет за собой дополнительное метапрограммирование (список строк нужно хранить в чем-нибудь вроде boost::fusion::vector или хз где и обходить через какой-нибудь fusion.for_each, в общем, не то, что обычно используют в рантайме) е) нельзя дебажить. Вывод: данный подход не дает никаких преимуществ перед тупым вычислением хэшей при старте программы, одни недостатки, он контрпродуктивен и сеет в коде иррациональное зло

vector<tuple<int, string>> results;
db_pool.query("SELECT id, name FROM accounts WHERE date>?", results, last_login_date);
for (auto account : results)
  cout << get<1>(account) << endl;

E>А при получении данных по хэшу не нужно, что ли? Вопрос в затратах же..

auto stmt = at_key<int_< perfect_hash("....") >>(statements);
// or
auto stmt = statements_array[compile_time_perfect_hash("....")];
// or
auto stmt = SQL_STATEMENT("....");

J.2 Undefined behavior

— Addition or subtraction of a pointer into, or just beyond, an array object and an
integer type produces a result that does not point into, or just beyond, the same array
object.
— Addition or subtraction of a pointer into, or just beyond, an array object and an
integer type produces a result that points just beyond the array object and is used as
the operand of a unary * operator that is evaluated

— An array subscript is out of range, even if an object is apparently accessible with the
given subscript (as in the lvalue expression a[1][7] given the declaration int
a[4][5])

instance.array[i]

instance.array()[i]

struct Page {
...
Metadata
...
int32_t num_items;
int32_t offsets[];
};

E>>>Кроме того, его же можно безопасно завернуть в С++ шаблон...

L>Это должно было послужить иллюстрацией того, что метапрограммирование на шаблонах в современном с++ иногда все же просасывает примитивному коду на Си

class FlexibleArrayMember
{
  public:
    FlexibleArrayMember(size_t sz, double*& data)
      :  m_sz(sz),
         m_rData(data)
    {}
  public:
    double& operator[] (size_t nIndex)
    {
       assert(0 <= nIndex && nIndex < m_sz);
       return m_rData[nIndex];
    }
  private:  
    size_t   m_sz;
    double*& m_rData;
};

int main(int argc, char * argv[])
{
  char buffer[sizeof(FlexibleArrayMember) + 100*sizeof(double)];
  double* p = (double*)(buffer + sizeof(FlexibleArrayMember)); //aligment problem
  FlexibleArrayMember oData = *(new(buffer) FlexibleArrayMember(100, p));

  for(int i = 0; i < 100; i++)
    oData[i] = i * 0.2;
    
  std::cout << oData[0] << ", ";
  for(int i = 1; i < 100; i++)
    std::cout << ", " << oData[i];
    
  oData.~FlexibleArrayMember();
  std::cout << std::endl;
  
  std::cout << "the end" << std::endl;
  return 0;
}

L>>А можно просто проверять размер массива, прежде чем делать reinterpret_cast

E>А зачем его вообще делать?..

struct Page {
    int len;
    ...some metadata...
    int offsets[];
};

E>А если не POD, то всё равно их создавать/разрушать надо, то есть опять же new и delete надо прятать, а создавать/разрушать фабричными методами какими-то...

L>>Вот в том то и дело, что человеку, применяющему struct hack в коде ничего такого не хочется, скорее наоборот, "сервисы как в С++" для него выглядят как переусложнение кода

E>В смысле "не хочется"? Ну, например, получить доступ к массиву как к паре интераторов может же захотеться? А обратный итератор, например?..

L>APR умеет vectorised I/O, boost нет, apr может в базы данных(и даже умеет prepare), boost нет. По поводу сишечки — я вот например иногда использую т.н. structure hack, для производительности, в c++ коде. Может ты сумеешь предложить типобезопасный аналог на шаблона, раз уж ты такой их фанат?

template<n> struct Page {
public Page()
{
  this->num_items = n;
}
...
Metadata
...
int32_t num_items;
int32_t offsets[n];
};

record* page::get_record(int i)
{
  return (record*)(this->raw_data + this->record_offsets[i]);
}

record* page::add_record(size_t recSize)
{
  size_t newOffset = this->record_offsets[(this->rec_count)++] - recSize;
  this->record_offsets[this->rec_count]=newOffset;
  return (record*)(this->raw_data + newOffset)
}

L>struct Page {
L>...
L>Metadata
L>...
L>int32_t num_items;
L>int32_t offsets[];
L>};
L>

type Page (LoOfs,HiOfs : integer) is new record 
   ...
   Metadata
   ...
   Offsets : Integer_Array (LoOfs, HiOfs);
end record;