模板模板功能的重载

Question

我正在尝试声明一个函数，该函数初始化了智能指针。我写了两个作用于智能指针的函数的变体，一个作用于模板上的模板函数，一个作用于模板的模板。问题是，后者应该至少对STD :: simel_ptr和std :: shared_ptr作用。std :: unique_ptr One的构造与std :: shared_ptr的构建不同。std :: unique_ptr One采用两个模板参数（即对象类型和deleter），而std :: shared_ptr One只需一个（即对象类型）。

#include <iostream>
#include <memory>

template <typename  Smartpointer>
void checkPointerinitialization(const Smartpointer& ptr){
    if(!ptr.get())
        std::cout<<"smart pointer is not initializedn"<<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 eithern"<<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 eithern"<<std::endl;
}
int main(){
    std::shared_ptr<int> myptr;
    checkPointerinitialization(myptr);
    checkPointerinitializationWithTemplates(myptr);
}

我的解决方案是超载模板函数，但是，如果我输入第一个函数，我会从G 中获得模板扣除失败 - 模板参数错误消息。实际上是否可以以适当的方式超载模板功能？

Answer 1

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

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) { ... }