Дайте nullptr тип для шаблона вычета

Question

Предположим, следующий фрагмент кода:

template <class T> 
void fct(T* a, T* b){ 
    // do something 
} 

A a; 
fct(&a, nullptr); // Problem here! 

Это делает неприятности, так как аргументы вызова имеют тип A* и nullptr_t и поэтому компилятор не может вывести параметр шаблона T.

Вообще, я могу представить несколько идей, как решить эту проблему:

• Определение A* b = nullptr и использовать fct(&a, b)
• Определение перегрузки с одним аргументом для fct для nullptr случае
• Использование fct(&a, static_cast<A*>(nullptr))

Или есть более чистое решение, li ke создание чего-то вроде «типизированного nullptr»?

Answer 1

Я также хотел бы предложить следующее решение:

template <class T, class U> 
void fct(T* a, U b){ 
    T* b2 = b; 
    // do something 
} 

A a; 
fct(&a, nullptr); 

Это позволяет для более широкого использования fct, но, возможно, это именно то, что вы хотите.

Для примера рассмотрим

class A {}; 
class B : public A {}; 

... 
A a; 
B b; 
fct(&a, &b); // calls fct<A> 
// the following will not compile: 
// fct(&b, &a); 

Answer 2

Вы можете использовать следующий код:

#include <type_traits> 

template<class T> 
void f_impl(T*, T*) 
{ 
    std::cout << typeid(T).name() << "\n"; 
} 


template<class T, class U> 
void f(T l, U r) 
{ 
    static_assert((std::is_same<T, U>::value && std::is_pointer<T>::value) || 
        (std::is_same<T, std::nullptr_t>::value && std::is_pointer<U>::value) || // First non-null 
        (std::is_same<U, std::nullptr_t>::value && std::is_pointer<T>::value) // Second non-null 
        , ""); 

    using P = typename std::conditional<std::is_same<T, std::nullptr_t>::value, U, T>::type; 

    f_impl<typename std::remove_pointer<P>::type>(l, r); 
} 

int main() 
{ 
    int i; 
    f(&i, nullptr); 
    f(nullptr, &i); 
    // f(i, nullptr); // won't compile - non-pointer 
    f(&i, &i); 

    double d; 
    // f(&i, &d); // - won't compile 

} 

Эта версия тесты позволяют назвать f с одним nullptr (но не оба), или с двумя указателями к тому же типу. С помощью C++ 14 вы также можете использовать такие вещи, как std::conditional_t, std::remove_pointer_t и std::is_null_pointer, чтобы удалить некоторые biolerplate.

Answer 3

Просто сделать второй аргумент не-вывод, контекст, например:

template <class T> 
void fct(T* a, std::remove_reference<T*>::type b) { 

Answer 4

Поскольку вопрос уже говорится, nullptr на самом деле имеет тип: std::nullptr_t. Так что просто добавить явную перегрузку специально для этого случая:

template <class T> 
void fct(T* a, std::nullptr_t b) { return fct<T>(a,static_cast<T*>(b)); } 

Нет необходимости иметь некоторый аргумент шаблона class U для этого.