Итак, я просматривал исходный код boost и наткнулся на это:
(from <boost/checked_delete.hpp>)
template<class T> inline void checked_delete(T * x)
{
// intentionally complex - simplification causes regressions
typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
(void) sizeof(type_must_be_complete);
delete x;
}
Кто-нибудь знает, почему это реализовано таким образом? Разве размер (T) (например) уже не был бы достаточным?
Кто-то задал тот же вопрос ранее. Это сообщение Питера Димова (одного из авторов boost/checked_delete.hpp) в значительной степени говорит само за себя:
- Каков результат применения sizeof к неполному типу?
Ошибка времени компиляции, если компилятор не хочет возвращать 0 в качестве нестандартное расширение.
- Почему sizeof называется дважды?
Второй sizeof является обходным решением для ошибки Metrowerks CodeWarrior в который первый тип никогда не создается, если не используется.
- Почему результат sizeof cast недействителен? Что именно линия делать?
Молчает предупреждение компилятора.
Это просто догадка; но там могут быть компиляторы, которые просто выдают предупреждение, когда вы пишете sizeof(incomplete_type) и возвращаете 0. Таким образом, вы убедитесь, что объявление массива не удается в этом случае, пытаясь объявить массив размером -1.