Тип, зависимый от условия в шаблонах

@i8086 · Регистрация: 10.01.2013

Author24 — интернет-сервис помощи студентам

Возможно ли реализовать подобное:

C++

template <uint8_t bits>
class test {
    // если bits <= 8 typedef uint8_t storageType;
    // если bits <= 16 typedef uint16_t storageType;
    // ...
    storageType guts;
};

Т.е. чтобы тип члена класса определялся в зависимости от значения переданного в шаблон?

@ForEveR · 11.07.2013, 13:25

i8086, Да, почему нет. http://en.cppreference.com/w/cpp/types/conditional в помощь

C++

1 2	typedef typename std::conditional<(bits <= 8), uint8_t, typename std::conditional<(bits <= 16), uint16_t, uint32_t>::type>::type storageType;

Ну или по старинке через специализации.

Tulosba · 11.07.2013, 13:41

Сообщение от ForEveR

Ну или по старинке через специализации.

Судя по описанию (по ссылке) возможная реализация как раз через специализацию.

@ForEveR · 11.07.2013, 13:55

Tulosba, Ну да. Это по сути тот же mpl::if_c.

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	11.07.2013, 13:41	3
	Сообщение от ForEveR Ну или по старинке через специализации. Судя по описанию (по ссылке) возможная реализация как раз через специализацию. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	11.07.2013, 13:55	4
	Tulosba, Ну да. Это по сути тот же mpl::if_c. 0

Опции темы

Тип, зависимый от условия в шаблонах

Решение