为什么包含标题会导致“在扣除自动之前使用自动”错误？

Question

我已经完成了我正在处理的项目并将其缩短为三个简短的文件，以复制正在发生的事情。我正在使用 2011 标准下的 g++ 使用 Code::Blocks IDE。

文件是main.cpp、thing.cpp 和thing.h。标头 (.h) 具有声明，源 (.cpp) 具有实现。 thing 文件使用模板参数T 定义了一个类Thing。 Thing 所做的只是持有一个 T 类型的对象（它基本上什么都不做）。

main.cpp:

#include <iostream>
#include "thing.h"

int main(){
    Thing<int> a(9);
    Thing<double> b(3.2);
    auto c = a + b;
    c.display();

    return 0;
}

thing.h:

#ifndef THING_H
#define THING_H

template<typename T>
class Thing{
private:
    T content;
public:
    Thing(const T& content);
    ~Thing(){};

    T get_content() const;

    void display();
};

template<typename S, typename T>
auto operator+(const Thing<S>& s, const Thing<T>& t);

#endif // THING_H

thing.cpp:

#include "thing.h"
#include <iostream>

template<typename T>
Thing<T>::Thing(const T& content)
:content(content){}

template<typename T>
void Thing<T>::display(){
    std::cout << content << '\n';
}

template<typename T>
T Thing<T>::get_content() const {
    return content;
}

template<typename S, typename T>
auto operator+(const Thing<S>& s, const Thing<T>& t){
    S s_content = s.get_content();
    T t_content = t.get_content();
    Thing<typename std::common_type<S, T>::type> sum = s_content + t_content;
    return sum;
}

这是奇怪的行为：代码是否编译取决于#include "thing.h" 行。这里使用thing.h会编译不出来，导致报错：

error: use of 'auto operator+(const Thing<S>&, const Thing<T>&) [with S = int; T = double]' before deduction of 'auto'
error: invalid use of 'auto'

将此行更改为#include "thing.cpp" 允许代码编译没有问题并按预期运行（它将12.2 输出到控制台）。

我的问题是：编译器在这两种情况下有何不同？ including header 时如何更改代码以消除此错误？

提前致谢。

Answer 1

推导返回类型是在 C++14 中引入的。

科利鲁reproduces your problem in C++11 mode，但shows the code working in C++14。

当然，虽然这不是您的问题的直接原因，it is likely that you will have to move your template definitions into the/a header。

哦，这是您应该用来测试的 minimal 测试用例：

template <typename T>
auto foo(T a)
{
    return a;
}

int main()
{
    foo(42);
}