模板功能专业化

Question

我正在对模板进行练习，现在正在处理专业化问题。 我定义了一个函数T read_val(T& v) ，该函数从cin接收输入，并在template<typename T> struct S编译T val 。 我希望将此函数专门化为int ， double ， char ， string类型，但是，当我尝试这样做时，我总是会出错。 这是我写的：

Header.h：

#ifndef Templates_Header_h
#define Templates_Header_h
#include <iostream>

using namespace std;

template<typename T>
struct S
{
private:
    T val;
public:
    S() : val{} {};
    T* get();
    T* get() const;
    T set();
    T operator=(const T&);
    T read_val(T& v);
    void print_val() const;
};

template<typename T>
void S<T>::print_val() const
{
    cout << "Value is: " << val << endl;
}

template<typename T>
T* S<T>::get()
{
    T* p = &val;
    return p;
}

template<typename T>
T S<T>::set()
{
    T newvalue;
    cout << "Type new value: ";
    cin >> newvalue;
    S<T>::val = newvalue;
    return S<T>::val;
}

template<typename T>
T S<T>::operator=(const T&)
{
    T val1;
    val1 = val;
    return *this;
}

template<typename T>
T* S<T>::get() const
{
    T* p = &val;
    return p;
}

template<typename T>
T S<T>::read_val(T &v)
{
    cout << "Type Value: ";
    cin >> v;
    return S<T>::val = v;
}

#endif

头文件

#include <stdio.h>
#include "Header.h"
#include "std_lib_facilities.h"

template <>
struct S <int>  // Specialization
{
private:
    int val;
public:
    S() : val{0} {};
};

template<>
struct S<char>  // Specialization
{
private:
    char val;
public:
    S() : val{'0'} {};
};

template <>
struct S<double>  // Specialization
{
private:
    double val;
public:
    S() : val{0.0} {};
};

template <>
struct S<string>  // Specialization
{
private:
    string val;
public:
    S() : val{""} {};
};

template<>
struct S<vector<int>>  // Specialization
{
private:
    vector<int> val;
public:
    S() : val{0} {};
};

template<> // !! ERROR !!
int read_val(int& v)
{
    cout << "Type a value: ";
    cin >> v;
    return v;
}

Xcode报告“没有功能模板与功能模板专业化'read_val'相匹配”。 我正在网上阅读示例和参考资料，但无法解决。 你能帮助我吗？ 我需要一个例子来解决这个问题。 谢谢！

Answer 1

模板头不应包含CPP文件。 您的实现已经在头文件中！ 使用以下命令创建main.cpp：

#include "Header.h" 
#include <iostream> 
int main() 
{ 
    S<int> my_S;
    int val;

    my_S.read_val(val/*by ref*/);
    std::cout << "The read value is " << val << std::endl;
    return 0;
} 

或类似的东西，我没有编译它...根据您的实现，我发现您错过了模板的要点。 您只需要定义一次（无需为int，float等每种类型手动重写它，编译器就会为您完成）。