获取 sizeof(promoted(x)) 的标准方法 [重复]

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.);

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

再一次，我不认为你可以同时处理整数和浮点数，因为我们在这里应用的“提升”的不同含义。

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)>)