Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

template

typename MuxType,

typename PtrType>

auto lockAndCall(FuncType func,

MuxType& mutex,

PtrType ptr) -> decltype(func(ptr)) {

using MuxGuard = std::lock_guard;

MuxGuard g(mutex);

return func(ptr);

}

Если возвращаемый тип этой функции ( auto...->decltype(func(ptr)) заставляет вас чесать затылок, обратитесь к разделу 1.3, в котором объясняется происходящее. Там вы узнаете, что в С++ 14 возвращаемый тип можно свести к простому decltype(auto):

template

typename MuxType,

typename PtrType>

decltype(auto) lockAndCall(FuncType func, // С++14

MuxType& mutex,

PtrType ptr) {

using MuxGuard = std::lock_guard;

MuxGuard g(mutex);

return func(ptr);

}

Для данного шаблона lockAndCall(любой из версий), вызывающий код может иметь следующий вид:

auto result1 = lockAndCall(f1, f1m, 0); // Ошибка!

auto result2 = lockAndCall(f2, f2m, NULL); // Ошибка!

auto result3 = lockAndCall(f3, f3m, nullptr); // OK

Такой код можно написать, но, как показывают комментарии, в двух случаях из трех этот код компилироваться не будет. В первом вызове проблема в том, что когда 0передается в lockAndCall, происходит вывод соответствующего типа шаблона. Типом 0является, был и всегда будет int, как и тип параметра ptrв инстанцировании данного вызова lockAndCall. К сожалению, это означает, что в вызов funcв lockAndCallпередается int, а этот тип несовместим с параметром std::shared_ptr, ожидаемым функцией f1. Значение 0, переданное в вызове lockAndCall, призвано представлять нулевой указатель, но на самом деле передается заурядный int. Попытка передать этот int функции f1как std::shared_ptrпредставляет собой ошибку типа. Вызов lockAndCallс 0оказывается неудачным, поскольку в шаблоне функции, которая требует аргумент типа std::shared_ptr, передается значение int.

Анализ вызова с переданным NULLпо сути такой же. Когда в функцию lockAndCallпередается NULL, для параметра ptrвыводится целочисленный тип, и происходит ошибка, когда целочисленный тип передается функции f2, которая ожидает аргумент типа std::unique_ptr.

В противоположность первым двум вызовам вызов с nullptrникакими неприятностями не отличается. Когда функции lockAndCallпередается nullptr, выведенным типом ptrявляется std::nullptr_t. При передаче ptrв функцию f3выполняется неявное преобразование std::nullptr_tв Widget*, поскольку std::nullptr_tнеявно преобразуется во все типы указателей.

Тот факт, что вывод типа шаблона приводит к “неверным” типам для 0и NULL(т.e. к их истинным типам, а не к представлению с их использованием нулевых указателей), является наиболее убедительной причиной для использования nullptrвместо 0или NULL, когда вы хотите представить нулевой указатель. При применении nullptrшаблоны не представляют собой никаких особых проблем. Вместе с тем фактом, что nullptrне приводят к неприятностям при разрешении перегрузки, которым подвержены 0и NULL, все это приводит к однозначному выводу — если вам нужен нулевой указатель, используйте nullptr, но не 0и не NULL.

• Предпочитайте применение nullptrиспользованию 0или NULL.

• Избегайте перегрузок с использованием целочисленных типов и типов указателей.

Я уверен, что мы можем сойтись на том, что применение контейнеров STL — хорошая идея, и я надеюсь, что раздел 4.1 убедит вас, что хорошей идеей является применение std::unique_ptr, но думаю, что ни один из вас не увлечется многократным написанием типов наподобие std::unique_ptr>. Одна мысль о таких типах лично у меня вызывает все симптомы синдрома запястного канала [3] Синдром запястного канала — неврологическое заболевание, проявляющееся длительной болью и онемением пальцев рук. Широко распространено представление, что длительная ежедневная работа на компьютере, требующая постоянного использования клавиатуры, является фактором риска развития синдрома запястного канала. — Примеч. пер . .

Избежать такой медицинской трагедии несложно, достаточно использовать typedef:

typedef

std::unique_ptr>

UPtrMapSS;

Но typedefслишком уж какой-то девяносто восьмой… Конечно, он работает и в С++11, но стандарт С++11 предлагает еще и объявление псевдонима (alias declaration):