Стандартный способ получить sizeof (продвигаемый (x))

Question

Есть ли стандартный способ получить размер типа переменной, на которую будет распространяться переменная, когда передается как вариационный аргумент?

auto x = ...; 
auto y = sizeof(promoted(x)); 

Результаты должны быть:

char -> sizeof(int) 
int -> sizeof(int) 
float -> sizeof(double) 
... 

Answer 1

Мы можем просто объявить перегружен promoted функции с соответствующими типами:

int promoted(char); 
int promoted(short); 
int promoted(int); 
long promoted(long); 
long long promoted(long long); 
double promoted(float); 
double promoted(double); 
long double promoted(long double); 

Обратите внимание, что функции не нуждаются в реализации, потому что мы никогда не на самом деле называть их.

Вот простой тестовый прогон, который печатает 1, 4 и 4, 8 на моей машине:

std::cout << sizeof('a') << '\n'; 
std::cout << sizeof(promoted('a')) << '\n'; 

std::cout << sizeof(3.14f) << '\n'; 
std::cout << sizeof(promoted(3.14f)) << '\n'; 

Answer 2

auto s = sizeof(+x); 

должны сделать трюк для целых чисел.

+x использует унарный оператор +, который выполняет целочисленную рекламу, как и любой другой арифметический оператор.

Мне не известны никакие стандартные правила продвижения для float, которые будут применяться здесь (в смысле цельной рекламы), поскольку вы можете сделать арифметику с ними без продвижения. Если вы всегда хотите продвигать, по крайней мере double вы можете попробовать

auto s = sizeof(x + 0.); 

, а затем различать между плавающей точкой и целыми числами, прежде чем попасть туда.

Опять же, я не думаю, что вы можете обрабатывать целые числа и плавающие точки сразу из-за разных значений «продвижения», которые мы применяем здесь.

Answer 3

Обобщая ответ Baum Массачусетский технологический институт Augen, вы могли бы написать шаблоны функций, как это:

template <typename T> 
auto promoted(T) 
    -> std::enable_if_t<std::is_integral<T>::value, decltype(+T{})>; 

template <typename T> 
auto promoted(T) 
    -> std::enable_if_t<std::is_floating_point<T>::value, decltype(T{}+0.)>; 

//usage 
sizeof(promoted(a)) 

Или версия используя черты типа:

template <typename T, typename = void> 
struct promoted; 

template <typename T> 
struct promoted<T, std::enable_if_t<std::is_integral<T>::value>> 
{ using type = decltype(+T{}); }; 

template <typename T> 
struct promoted<T, std::enable_if_t<std::is_floating_point<T>::value>> 
{ using type = decltype(T{} + 0.); }; 

template <typename T> 
using promoted_t = typename promoted<T>::type; 

//usage 
sizeof(promoted_t<decltype(a)>)