在函数声明中推导出 shared_ptr T

Question

我想写一个如下所示的函数：

template<class T>
void Foo(const std::shared_ptr<const T>& ptr);

所以我可以这样称呼它：

std::shared_ptr<int> ptr;
Foo(ptr);

但是，编译器无法推断 T，我必须明确说明：

Foo<int>(ptr);

或者用void Foo(const std::shared_ptr<T>& ptr)重载它。

我可以有一个声明 Foo 和 const T 以便推导出 T 吗？

Answer 1

您的问题是ptr 被声明为std::shared_ptr<int> 而foo 需要std::shared_ptr<const int>。要么使用 const 限定符声明 ptr：

std::shared_ptr<const int> ptr;
Foo(ptr);

或者您从foo 的声明中删除 const 限定符：

template<class T>
void Foo(const shared_ptr<T>& ptr);

或者，除非您真的需要在 foo 中知道您正在处理的是 shared_ptr，否则请让 foo 真正通用：

template<class T>
void Foo(const T& ptr);