函数模板专业化生成链接错误[重复]

Question

我之前问过this 的问题，涉及使用 auto 和生成元组的可变参数模板以及迭代它们的正确方法。用户metalfox 为我提供了this 解决方案。

我尝试了他们的解决方案，这就是我的完整代码的样子，包括我在原始代码中省略的命名空间。

calc.h

#include <algorithm>
#include <iostream>
#include <tuple>
#include <utility>

namespace math {

    template<class... T>
    class expression_t {
    public:
        std::tuple<T...> rhs;
        std::size_t size = sizeof...(T);

        //expression_t(const T&... args) : rhs{ args... } {}

        template <class... Args>
        expression_t(Args&& ...args) : rhs(std::forward<Args>(args)...) {}

        std::tuple<T...> operator()() const {
            return rhs;
        }
    };

    template<typename T>
    void Print(std::ostream& os, T x) {
        os << x;
    }

    template<>
    void Print<char>(std::ostream& os, char x) {
        if (x == '+' || x == '-' || x == '*' || x == '/' || x == '%')
            os << ' ' << x << ' ';
    }

    template<class... Args>
    expression_t<Args...> expression(Args... args) {
        expression_t<Args...> expr(args...);
        return expr;
    }

    template<class... Args>
    std::ostream& operator<<(std::ostream& os, const expression_t<Args...>& expr) {
        auto Fn = [&os](auto... x) {
            (Print(os, x), ...);
        };

        std::apply(Fn, expr.rhs);

        os << '\n';
        return os;
    }
}

ma​​in.cpp

#include "calc.h"

using namespace math;

int main() {
    double x = 0;    
    auto expr = expression(4, x, '^', 2, '+', 2, x);
    auto t = expr();
    std::cout << std::get<2>(t);
    std::cout << expr;
    return 0;
}

它在构建过程中生成此链接器错误：

1>------ Build started: Project: ChemLab, Configuration: Debug x64 ------
1>main.obj : error LNK2005: "void __cdecl math::Print<char>(class std::basic_ostream<char,struct std::char_traits<char> > &,char)" (??$Print@D@math@@YAXAEAV?$basic_ostream@DU?$char_traits@D@std@@@std@@D@Z) already defined in calc.obj
1>C:\***\test.exe : fatal error LNK1169: one or more multiply defined symbols found
1>Done building project "ChemLab.vcxproj" -- FAILED.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

声明-定义这些打印函数以防止它们在单个翻译单元中被多次定义的正确方法是什么？

Answer 1

函数模板特化——比如你的例子中的Print<char>——是一个常规函数，而不是一个模板。它必须只定义一次，否则使用 inline 关键字定义。