Что означает этот синтаксис "decltype (* (T *) (0) ** (U *) (0))"?

Я читаю этот вопрос по часто задаваемому вопросу isocpp, этот вопрос объясняет, как написать возвращаемый тип для ???

template<class T, class U>
??? mul(T x, U y)
{
return x*y;
}

Я понимаю, что простой способ - написать auto mul(T x, U y) -> decltype(x*y), однако вопрос также дает другой путь, который заключается в замене ??? на decltype(*(T*)(0)**(U*)(0)). Но я не совсем понимаю, что действительно делает этот decltype(*(T*)(0)**(U*)(0)), кажется, что он объявляет временный указатель T* и инициализирует его нулем, а затем разыгрывает указатель, а затем умножается на тот же экземпляр для типа U, правильно ли я понимаю?

Но зачем использовать указатели? Я думаю, что decltype(T(0)*U(0)) или decltype(T{0}*U{0}) также должны работать.

ОТВЕТЫ

Ответ 1

decltype(*(T*)(0)**(U*)(0))

Разделите его:

(T*)(0) //cast a null pointer to a T*
*(T*)(0) //dereference, giving a T

(U*)(0) //cast a null pointer to a U*
*(U*)(0) //dereference, giving a U

(*(T*)(0)) * (*(U*)(0)) //the result of multiplying a U and a T

decltype(T(0)*U(0)) эквивалентен только в том случае, если T и U имеют конструкторы, принимающие один int (или то, что может быть неявно преобразовано из целочисленного литерала).

Стандартная библиотека уже имеет std::declval, чтобы сделать это более чистым способом:

decltype(std::declval<T>() * std::declval<U>())

Ответ 2

это действительно ошибка.

в вашем решении вы в основном предполагаете, что конструктор может получить 0 в качестве аргумента, и это может быть не так.

фрагмент в основном отличает NULL к некоторому указателю объекта T, затем вытаскивает T с помощью оператора *, теперь мы оставили в основном decltype({T object}*{U object}), он предполагает, что во время компиляции decltype будет заменен реальным типом, и во время выполнения не будет указателей. но этот код очень уродлив и не поддерживается.

лучшим решением является использование С++ 11 std::result_of:
typename std::result_of<declval<T>()*declval<U>()>::type

declval делает что-то похожее на *(T*)(0) только он возвращает ссылку на значение r (значение T&&)