如何在模板函数中使用不同的结构作为模板参数？

Question

我正在编写这样的模板函数：

template<typename T>
std::string EncodeData(int DataType, T Data, std::string ReadCommandID, std::string& ThisID);

我想使用的类型T是一些不同的结构，例如：

struct A
{
    int A_data;
    bool A_data_2;
    // etc.......
};

struct B
{
    double B_data;
    char B_data_2;
    // etc.......
};

我希望函数可以根据不同的struct传递来访问不同的成员变量T，所以我写了这样的代码：

template<typename T>
std::string EncodeData(int DataType, T Data, std::string ReadCommandID, std::string& ThisID)
{
    if(std::is_same<T, A>{})
    {
        // Do something with Data.A_data and Data.A_data_2
    }
    else if(std::is_same<T, B>{})
    {
        // Do something with Data.B_data and Data.B_data_2
    }
    // other code.
}

并使用它：

A data={100,false};
std::string id;
std::string result = EncodeData<A>(0,data,"read_id_xxxxxxxx",id);

但是当我编译它时，发生了以下错误：

error C2039: "B_data": is not a member of "A".    
error C2039: "B_data_2": is not a member of "A".

我怎样才能解决这个问题？或者我还能做些什么来通过一个函数解决这个问题？

PS我正在使用MSVC编译器(Visual Studio 2019)

Answer 1

我还能做些什么来通过一个函数解决这个问题？

这在c++11编译器下是不可能的。然而，在 C++17 中你必须if constexpr这样做：

template<typename T>
std::string EncodeData(int DataType, T const& Data, std::string const& ReadCommandID, std::string& ThisID)
{
    if constexpr (std::is_same_v<T, A>)
    {
        // Do something with Data.A_data and Data.A_data_2
    }
    else if constexpr (std::is_same_v<T, B>)
    {
        // Do something with Data.B_data and Data.B_data_2
    }
}

对于 C++11，您仍然需要两个函数。因此，我建议为每个函数重载，这可能比使用模板更具可读性。