Question

在我的代码中，我将模板化图像类Image<T>与std::shared_ptr结合使用。应该将这些图像指针传递给各种图像处理功能，其中一些功能与图像类型无关。请考虑Image<T>的以下定义，以及两个处理函数function1()和function2()。

#include <memory>

template <typename T>
struct Image
{
    typedef std::shared_ptr<Image<T>> Ptr;
};

template <typename T>
void function1 (typename Image<T>::Ptr image) {}

template <typename T>
void function2 (std::shared_ptr<Image<T>> image) {}

虽然function1()和function2()实际上具有相同的签名，但function1()更容易阅读并隐藏指针实现方式的详细信息。但是，我无法在未明确指定模板类型的情况下调用function1()。请考虑以下代码：

int main (void)
{
    Image<int>::Ptr image = std::make_shared<Image<int>>();
    function1(image);       // Does NOT compile
    function1<int>(image);  // Does compile
    function2(image);       // Does compile
    return 0;
}

第一次调用导致编译错误：

example.cc: In function 'int main()':
example.cc:18:19: error: no matching function for call to 'function1(MyClass<int>::Ptr&)'
example.cc:18:19: note: candidate is:
example.cc:10:6: note: template<class T> void function1(typename MyClass<T>::Ptr)
example.cc:10:6: note:   template argument deduction/substitution failed:
example.cc:18:19: note:   couldn't deduce template parameter 'T'

我的问题如下：是否可以使用function1()的签名而无需手动指定模板参数？造成编译错误的原因是什么？

我怀疑问题是由Image<T>::Ptr是依赖类型的事实引起的。因此编译器在编译时无法知道该字段的确切定义。是否有可能告诉编译器没有该字段的特化，本着typename关键字的精神告诉编译器字段是一个类型？

Answer 1

导致编译错误的原因是什么？

您（仅）在非推断的上下文中使用T： nested-name-specifier 。也就是说，您将T放在仅指定类型所在位置的名称中。编译器无法理解您的实际意图，并且必须尝试很多T。

是否可以使用function1()的签名而无需手动指定模板参数？

不是真的。如果您想要一种更简洁的方式来引用指向图像的智能指针，您可以使用别名模板：

template <typename T>
using ImagePtr = std::shared_ptr<Image<T>>;

然后写function1：

template <typename U>
void function1(ImagePtr<U> p) {}

依赖类型：模板参数推断失败

1 个答案: