C++ Специализация нулевой шаблон для класса

Question

В QuantLib я нашел этот кусок кода:

//! specialization of null template for this class 
    template <> 
    class Null<Array> { 
     public: 
     Null() {} 
     operator Array() const { return Array(); } 
    }; 

Каждый знает, что это о? Какова цель этого кода? Если у вас есть ресурсы по этому вопросу, я также заинтересован. Спасибо

Answer 1

Я догадываюсь, что есть Null класс, определенный где-то, и здесь мы инициализируем его Array.

Почти правильный. Существует Null класс template, определенный где-то, с аргументом типа. И здесь мы создаем шаблон так, чтобы всякий раз, когда шаблон создавался с типом Array, это определение используется вместо исходного определения.

Что касается Null, см. documentation.

класс шаблона, предоставляющий нулевое значение для заданного типа.

Answer 2

Значение Null используется для представления отсутствующих значений.

Например, когда вы получаете QL :: Real г вы можете легко проверить, если он имеет нулевое значение:

if(r == Null<Real>()) 

специализация для массива широко используется в качестве значения по умолчанию в функциях принимает массив как необязательный аргумент.

Answer 3

Ответы пользователя2079303 и jimifiki являются правильными. Я добавляю этот ответ, чтобы предоставить немного контекста.

Шаблон класса Null используется для добавления нулевого значения, аналогичного тому, что None находится в Python, и используется в качестве аргумента по умолчанию, когда (по какой-либо причине) мы хотим обнаружить, что вызывающий объект не прошел значение, в отличие от явно переданного значения «null», например, 0. Если бы мы сегодня должны были написать код, мы бы, скорее всего, пошли бы за boost::optional (скоро это будет std::optional), что дает более четкую семантику и явный объект nil. Тем не менее, мы сохраняем Null, чтобы не нарушать код клиента.

Для арифметических типов вещь работает, предоставляя специализацию Null, которая при преобразовании в число дает ту, которая вряд ли будет передана как законное значение (по крайней мере, в контексте вызова); а именно максимальный доступный int или float в зависимости от типа. Для Array это на самом деле не применяется: как вы видите, Null<Array>() преобразует в пустой Array, который код не может отличить от пустого экземпляра Array, переданного явно. Тем не менее, можно утверждать, что пустой массив является нулевым значением в своем собственном праве (т. Е. Путем передачи пустого массива вы не передаете никаких значений, даже если вы передаете экземпляр Array), поэтому такие разработки выполняются; то же самое относится к классу Date, который имеет пустое состояние, возвращенное его специализацией Null.