Может ли быть создана специальность для продвижения по службе?

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

Если я первоначально принятый в типе, который преобразуется при использовании списков параметров, как float с поворотом в double с , я помещаю в исходный тип для T, или с искаженным типом? В случае, если это последнее, я делаю тип признаков для этого, для которого требуется продвинутый признак на последнем шаге.

Answer 1

Грубо говоря, bool ? T : T делает T. Ничто не продвигается в этом выражении.

Передача не-POD (или действительно любого пользовательского) типа в вариационном списке аргументов C-типа вызывает неопределенное поведение.

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; 
} 

EDIT:

Для уточнения: это не представляется возможным использовать шаблоны для обнаружения что-то передается в C-стиле списка VARIADIC аргумента, как это определено, что В таких ситуациях компилятор выполняет определенные пользователем типы.