2

此代码无法使用 clang++ 6.0 或 g++4.9.1 编译(代码没有意义,但这是实现它的最小示例):

#include <forward_list>

template<typename T>
T getItem(typename std::forward_list<T>::const_iterator it) {
    return *it;
}

template<typename T>
void foo() {
    std::forward_list<T> list;
    auto item = getItem(list.cbegin());
}

template<typename T>
void bar(const std::forward_list<T>& list) {
    auto item = getItem(list.cbegin());
}

int main() {
    std::forward_list<int> list;
    bar(list);
}

我收到这个错误

t2.cpp:17:17: error: no matching function for call to 'getItem'
    auto item = getItem(list.cbegin());
                ^~~~~~~
t2.cpp:22:5: note: in instantiation of function template specialization 'bar<int>' requested here
    bar(list);
    ^
t2.cpp:4:3: note: candidate template ignored: couldn't infer template argument 'T'
T getItem(typename std::forward_list<T>::const_iterator it) {
  ^
1 error generated.

要修复它,我需要bar()像这样更改 's 调用:

template<typename T>
void bar(const std::forward_list<T>& list) {
    auto item = getItem<T>(list.cbegin());
}

我不明白为什么编译器无法推断模板参数,奇怪的是编译器对foo().

4

1 回答 1

8

您正在尝试从非推导上下文中推导出模板参数,§ [temp.deduct.type]/5

未推断的上下文是:

— 使用限定 ID 指定的类型的嵌套名称说明符。

IE

template<typename T>
T getItem(typename std::forward_list<T>::const_iterator it)
                   ^^^^^^^^^^^^^^^^^^^^

§ [temp.deduct.type]/4

然而,在某些上下文中,该值不参与类型推导,而是使用模板参数的值,这些值要么在别处推导,要么显式指定。如果模板参数仅在非推导上下文中使用且未明确指定,则模板参数推导失败。

如果您尝试实例化foo 它会给出同样的错误。使用上面的代码不会出错,foo因为仅在实例化时查找依赖名称(这通常称为两阶段查找)。参照。非实例化 C++ 模板函数的语义正确性

于 2014-11-10T11:34:43.513 回答