可以为促销制作类型特征吗？

Question

我需要知道什么时候进行促销，以及促销活动是什么。我的猜测是

template <typename T>
struct promoted { using type = std::common_type_t<T, T>; };

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

显然，如果用户开始覆盖 std::common_type 的版本，这将中断。假设这不会发生，它会起作用吗？条件运算符应该在进一步评估之前应用促销。我确实认为有一天这样的东西应该出现在标准中。

如果你想知道我为什么要这个，它是针对 C 级可变参数的：

auto  r = va_arg( the_va_list, T );

如果我最初传入的类型在 varargs 中使用时会被转换，例如 floats 变成 doubles，我是输入 T 的原始类型还是错位类型？如果是后者，我正在为此创建一个特征类型，这需要在最后一步中使用提升特征。

Answer 1

粗略地说，bool ? T : T 构成T。该表达式中没有任何内容得到提升。

在 C 风格的可变参数列表中传递非 POD（或者实际上是任何用户定义的）类型会调用未定义的行为。

例如，MSC 将结构的副本压入堆栈，而无需调用构造函数（如果已定义）。

例如：

struct thing
{
    int v;

    // Not called
    operator int() const throw()
    {return this->v;}

    thing(int v) throw() :
    v(v)
    {}

    // Also not called
    thing(const thing &other) throw() :
    v(other.v)
    {}
};

void frob(...)
{
}

int main(int argc, const char **argv)
{
    thing t(47);

    frob(t); // <- rep stosd/q here, but this is really UD

    return 0;
}

编辑：

澄清一下：无法使用模板来检测传递到 C 风格的可变参数列表中的内容，因为在这种情况下编译器对用户定义类型的处理方式是未定义的。