Гораздо лучше чем забыть необработать NULL и потом неделями дебажить
Вот тут не скажу - не пробовал кодить.
Но в ++ завесли core guide line - и есть некая фиговина на шаблонах, аля либы.
Вот там есть тип not_null или что-то такое.
Если ты его возвращаешь - то это гарантия что NULL не будет.
Должен валедировать в compile time (но это не точно).