模板模板函数的重载

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

与其将您的论点作为具有一个模板参数的 class 模板的实例化，不如将您的论点作为一个 class 模板，该模板采用 至少一个 模板参数：

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

模板模板函数的重载

overloading of template template function

c++

templates

smart-pointers