Question

当作为可变参数传递时，是否有一种标准的方法来获取变量将被提升的类型的大小？

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

结果应该是：

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

Answer 1

auto s = sizeof(+x);

应该做整数的技巧。

+x使用一元+运算符，它与其他算术运算符一样执行整数提升。

我不知道float的任何标准促销规则适用于此处（在整数提升意义上），因为您可以在不进行推广的情况下对其进行算术运算。如果您始终想要升级到至少double，可以尝试

auto s = sizeof(x + 0.);

然后在到达之前区分浮点和整数。

同样，我认为你不能同时处理整数和浮动点，因为＆＃34;促销＆＃34;我们在这里申请。

Answer 2

我们可以使用正确的类型简单地声明重载的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 3

为了概括Baum mit 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)>)

获取sizeof的标准方法（提升（x））

3 个答案: