模板模板函数的重载

Question

我正在尝试声明一个检查智能指针是否已初始化的函数。我写了两个作用于智能指针的函数变体，一个作用于模板的模板函数，一个作用于模板的模板。问题是，后者应该至少作用于 std::unique_ptr 和 std::shared_ptr。 std::unique_ptr 的构造与 std::shared_ptr 不同。 std::unique_ptr 一个接受两个模板参数（即对象类型和删除器），而 std::shared_ptr 一个只接受一个（即对象类型）。

#include <iostream>
#include <memory>


template <typename  Smartpointer>
void checkPointerinitialization(const Smartpointer& ptr){
    if(!ptr.get())
        std::cout<<"smart pointer is not initialized\n"<<std::endl;
}



//template <template <typename, typename> class Smartpointer, typename Object, typename Deleter>
//void checkPointerinitializationWithTemplates(const Smartpointer<Object, Deleter>& ptr){
//    if(!ptr.get())
//        std::cout<<"smart pointer is not initialized in template function either\n"<<std::endl;
//}
//int main(){
//    std::shared_ptr<int> myptr;
//    checkPointerinitialization(myptr);
//    checkPointerinitializationWithTemplates(myptr);
//
//}

template <template <typename> class Smartpointer, typename Object>
void checkPointerinitializationWithTemplates(const Smartpointer<Object>& ptr){
    if(!ptr.get())
        std::cout<<"smart pointer is not initialized in template function either\n"<<std::endl;
}
int main(){
    std::shared_ptr<int> myptr;
    checkPointerinitialization(myptr);
    checkPointerinitializationWithTemplates(myptr);

}

我的解决方案是重载模板函数，但是如果我取消注释第一个函数，我会收到一个模板推导失败 - 来自 g++ 的模板参数错误数量错误消息。是否真的可以以适当的方式重载模板函数？

Answer 1

不要将您的参数作为具有单个模板参数的类模板的实例化，而是将您的参数作为具有至少一个模板参数的类模板：

template <template <class, class...> class Z,
    class Object,
    class... Ts>
void foo(const Z<Object, Ts...>& ptr) { ... }

这将匹配std::unique_ptr<X>（与Object=X 和Ts={std::default_delete<X>}）和std::shared_ptr<X>（与Object=X 和Ts={}）。

---

但是，这不会匹配任何非模板智能指针，例如：

struct MySpecialSnowflakeSmartPointer { ... };

所以你的第一种方法可能是最好的：

template <class SP>
void foo(SP const& ptr) { ... }