数组和值的模板声明

Question

我有一个用 2 个参数声明的函数：

• 第一个是维度为 2 的数组，可以是 int、string 或 bool 例如这样声明：int array[2] = {0};

• 第二个参数是一个值（int、string 或 bool）

我想声明一个内联模板函数来匹配不同类型的数组。例如我这样做：

template <typename T, typename V>
inline void affectParameter(T* array, V value) 
{   
array[0] = value; 
}

在cpp文件中：

int value(2); 
int[2] array = {0};
affectParameter(array, value);

但我想只使用一个模板T 以避免在函数调用T 不是V 的数组时出现问题。

nb：我不能以其他方式声明变量数组。

Answer 1

只需使用一个模板参数T：

template <typename T>
inline void affectParameter(T* array, T value)
{
   array[0] = value;
}

它将与您的代码完美配合：

int value(2);
int array[2] = { 0 };
affectParameter(array, value);

如果您执行以下操作，将无法编译（如您所愿）：

double value(2);
int array[2] = { 0 };
affectParameter(array, value); /* type mismatch here */

但也可以考虑使用std::array 或std::vector，因为它们使用起来更安全，并且在 C++ 编程中是最先进的。

---

如果你不能使用它们，你可以让你的函数定义更清楚，它需要一个经典的数组，T array[] 在这种情况下与T* array 的含义相同，并且不再更安全：

template <typename T>
inline void affectParameter(T array[], T value)
{
   array[0] = value;
}

---

带有非类型模板参数的扩展

如果你将使用非类型模板参数，你可以使函数类型安全并且索引安全：

template <typename T, std::size_t N>
inline void affectParameter(T (&array)[N], T value)
{
   /* You can use N here to check size etc. */
   array[0] = value;
}

你可以这样称呼它：

affectParameter(array, value);

如果您使用例如指针或不同类型的参数将失败。