В чем разница между передачей NULL и nullptr в параметр шаблона?

Во многих реализациях NULL — это просто #define для целочисленного литерала 0, например:

#define NULL 0

Вы можете напрямую присвоить литерал 0 любому указателю, поэтому передача NULL непосредственно в целевую функцию работает нормально.

Поскольку вы передаете NULL в параметр шаблона, этот параметр выводится как тип int, как сказано в сообщении об ошибке.

В этом вызове:

awrap(handlepath, handle, path, NULL, 0, coll, NULL);

awrap() разрешится примерно так:

auto awrap(decltype(handlepath) &func, decltype(handle) arg1, decltype(path) arg2,
    int arg3, int arg4, decltype(coll) arg5, int arg6)
 // ^^^^^^^^                                 ^^^^^^^^
{
    auto code = func(arg1, arg2, arg3, arg4, arg5, arg6);
    //                    error: ^^^^       error: ^^^^
    ...
};

Чтобы присвоить переменную int указателю, вам необходимо явное приведение типа, которое вы не используете.

Тогда как nullptr имеет тип nullptr_t, который также можно присвоить непосредственно любому указателю. Существует только одно возможное значение nullptr_t. Итак, при передаче nullptr в параметр шаблона этот параметр будет выведен как тип nullptr_t. И компилятор знает, как присвоить nullptr_t указателю.

В этом вызове:

awrap(handlepath, handle, path, nullptr, 0, coll, nullptr);

awrap() разрешится примерно так:

auto awrap(decltype(handlepath) &func, decltype(handle) arg1, decltype(path) arg2,
    nullptr_t arg3, int arg4, decltype(coll) arg5, nullptr_t arg6)
 // ^^^^^^^^^^^^^^                                 ^^^^^^^^^^^^^^
{
    auto code = func(arg1, arg2, arg3, arg4, arg5, arg6);
    //                       OK: ^^^^          OK: ^^^^
    ...
};

Итак, при вызове вашего шаблона следует использовать nullptr.

Но если вы хотите использовать NULL, вы должны привести его к (char*)NULL (или эквивалентному) или к любому другому типу указателя, который ожидает параметр, например:

awrap(handlepath, handle, path, (char*)NULL, 0, coll, (char*)NULL);

NULL — это макрос, который можно определить как nullptr или как целочисленный литерал с нулевым значением (например, 0 или 0L). Какой из них определяется реализацией, но поскольку только последний выбор действителен в C и до C++11, шансы увидеть последний высоки.

nullptr является объектом nullptr_t. Любое выражение этого типа всегда является так называемой константой нулевого указателя, то есть его можно неявно преобразовать в значение нулевого указателя любого типа указателя.

Однако целочисленное выражение с нулевым значением не всегда является константой нулевого указателя. В частности, только целочисленные литералы с нулевым значением являются константами нулевого указателя, которые можно преобразовать в типы указателей.

Итак, если вы передаете 0 непосредственно в функцию, ожидающую char*, которая работает нормально, литерал 0 является константой нулевого указателя и может быть неявно преобразован в тип указателя, что приведет к значению нулевого указателя.

Но вы передаете литерал awrap как целочисленный тип (путем вычета). Когда вы используете аргумент в func(args...), это по-прежнему целочисленное выражение со значением 0, но это не целочисленный литерал. Следовательно, аргумент не является константой нулевого указателя и не может быть неявно преобразован в char*.

Таким образом, вы не можете передать 0 в качестве параметра указателя через оболочку, поскольку вы должны указать литерал именно там, где должно применяться преобразование. А возможность использования NULL определяется реализацией. Это работает, если NULL определяется как nullptr, но не в том случае, если это целочисленный литерал с нулевым значением.

Это хороший пример того, почему следует использовать только nullptr. Неявное преобразование целочисленных литералов с нулевым значением существует только по историческим причинам, унаследованным от C. Если бы язык был разработан сегодня, я сомневаюсь, что кто-то добавил бы к преобразованиям такой странный особый случай. Обычно возможные преобразования определяются типом и категорией значения выражений. Это единственный особый случай, когда значение и грамматическая конструкция влияют на поведение преобразования.