大小数组作为 C++ 中的函数参数类型

Question

我正在为我的结构使用模板，例如：

#pragma pack(push, 1)
template <typename T>
struct S
{
   T t;

   inline void Set(const T& val) { t = val; }
}
#pragma pack(pop)

T 可以是 float、int、short 或 char[10]、char[1] 或 char[2]（最好是任何长度都可以）。

虽然上面的方法对于整数类型来说效果很好，但我在实现 char[n] 部分时遇到了困难：

1. 我需要使用 strncpy 或 memcpy 而不是赋值运算符
2. 使用上述方法，编译器会抱怨签名 (const char[2]& val) 以及我通过 s.Set("T") 调用它。
3. 具有整数类型和字符类型的 S 之间的接口必须与调用它们的通用代码相同（并且不关心它们是什么类型）。

Answer 1

您可以在char[10] 等情况下为T 定义模板专业化。这样做时是否还有问题？但正如 Mat 已经指出的，使用字符串是一种值得考虑的方法。

#include <iostream>

#pragma pack(push, 1)
template <typename T>
struct S
{
   T t;

   inline void Set(const T& val) { std::cout << "general\n"; }
};

template <int len>
struct S<char[len]>
{
   char t[len];

   inline void Set(const std::string& val) { std::cout << "specialization\n"; }
};
#pragma pack(pop)

int main() {

    S<int> a;
    a.Set(10);

    S<char[20]> b;
    b.Set("turkey!");

    return 0;
}

http://codepad.org/X8YVuFja 输出：

一般
专业化

Answer 2

好吧，部分专业化可能会解决问题：

template <typename T> struct S
{
  T x;
  void set(const T & y) { x = y; }
};

template <typename T, unsigned int N> struct S<T[N]>
{
  T x[N];
  void set(const T (&y)[N]) { std::copy(y, y + N, x); }
};

用法：

S<char[10]> b;
char c[10] = "Hello";
b.set(c);

Answer 3

对我来说很好：http://codepad.org/03FSqZC6

#pragma pack(push, 1)
template <typename T>
struct S
{
   T t;

   inline void Set(const T& val) {}
};
#pragma pack(pop)

int main() {
    typedef char (carray)[10];  //do you have a line like this?
    S<carray> lhs;
    carray rhs = "HELLO";
    lhs.Set(rhs);
    return 0;
}

您的问题很可能是由使用不正确的数组类型引起的。有关正确 typedef 的示例，请参阅我的代码。

编辑：

我刚刚意识到，如果您已经拥有 std::string 或任何类型的动态数组，那么调用 Set 会很痛苦。进行模板特化。