Блог

Есть ли способ подсчитать количество элементов в struct (целых чисел в приведенном ниже примере) во время компиляции и определить массив того же размера в той же структуре? Использование МАКРОСА или шаблонной структуры вместо типа int было бы нормально.

 struct A
{
    int myInts[numInts()];  // here numInts() == 2
    int a;
    char b;
    char c;
    int d;
    char e;
};
  

Я чувствую, что это может быть возможно с помощью некоторых взломов constexpr, но не нашел решения. Что мне нужно, так это создать массив, в который я могу поместить копию всех элементов, и массив должен быть статически выделен во время компиляции. Количество элементов будет отличаться от структуры к структуре, но массив должен автоматически увеличиваться, чтобы хватило места для всех интересующих элементов. Что еще хуже, массив должен быть определен раньше других элементов.

====== Редактировать

Кажется, нет решения, которое выполняло бы описанное выше без чрезмерного усложнения структуры в целом. Вместо этого мне пришлось указать размер массива вручную.

Это возможно для некоторых типов с использованием библиотеки magic_get. Ограничение заключается в:

T должен быть инициализируемым агрегатом constexpr и не должен содержать ссылок или битовых полей

Структура A в вашем сообщении удовлетворяет этому условию.

magic_get определяет количество нестатических элементов данных с помощью агрегированной инициализации. В принципе, идея заключается в том, что если у вас есть какой-то тип, U который может преобразовываться в любой другой тип, то T{U(), U(), ..., U()} будет правильно сформирован, когда количество U() s равно количеству элементов в совокупности T . (Если T есть некоторые элементы, которые имеют инициализатор элемента по умолчанию или могут быть инициализированы значением, это выражение также может быть правильно сформировано, когда инициализаторов меньше, чем элементов, поэтому вам нужно выбрать максимальное количество, которое работает.) И SFINAE можно использовать для определения того, правильно ли сформировано такое выражение или нет.

Вы можете увидеть все кровавые подробности в fields_count.hpp

К этому можно приблизиться с помощью MAP-MACRO и некоторых шаблонов. Вам нужно определить свои структуры с помощью макроса и передать в него все поля (например. DEFINE_STRUCT(A, int a, char b, ...) ). Количество полей int (или другого нужного вам типа) можно подсчитать, применив рекурсивный шаблон к вспомогательной функции типа void(int a, char b, ...) . МАКРОС MAP необходим для добавления точек с запятой после каждого поля.

 #include <type_traits>
#include "map-macro/map.h" // https://github.com/swansontec/map-macro, we need the `MAP` macro


// Count how many arguments of Func are of type T

template<typename T, typename Func>
struct count_of_type;

template<typename T>
struct count_of_type<T, void()> { static constexpr std::size_t value = 0; };

template<typename T, typename FirstArg, typename...RestArgs>
struct count_of_type<T, void(FirstArg, RestArgs...)> {
  static constexpr std::size_t value = std::is_same<T, FirstArg>::value   count_of_type<T, void(RestArgs...)>::value;
};


// Define your structs

#define APPEND_SEMICOLON(FIELD) FIELD;

#define DEFINE_STRUCT(NAME, FIELDS, ...) 
  struct NAME { 
    int myInts[count_of_type<int, void(FIELDS, ##__VA_ARGS__)>::value]; 
    MAP(APPEND_SEMICOLON, FIELDS, ##__VA_ARGS__) 
  };

DEFINE_STRUCT(A,
    int a,
    char b,
    char c,
    int d,
    char e)

static_assert(std::is_same<decltype(A().myInts), int[2]>::value, "");