如何让C++模板的第二个类型默认与第一个模板类型一致？

当然可以通过给第二个模板参数设置默认值的方式，用单个模板函数实现你需要的两种调用场景，无需维护重复的重载函数。

修改后的模板函数如下：

template<class TYPE1, class TYPE2 = TYPE1>
bool pop_value_from_array(TYPE2 &value)
{
    if(get_array_size() >= sizeof(TYPE1))
    {
        value = static_cast<TYPE2>(*reinterpret_cast<const TYPE1*>(get_array_pointer()));
        remove_bytes_from_array(sizeof(TYPE1));
        return true;
    }
    return false;
}

调用方式说明 #

1. 取出不同类型值存入变量：当需要从数组中读取TYPE1类型的值，并存入另一种类型TYPE2的变量时，只需显式指定TYPE1，TYPE2会由函数参数自动推导：

   uint32_t size;
   // 取出uint16_t类型值存入uint32_t，避免乘法溢出
   if (!pop_value_from_array<uint16_t>(size))
   {
       // 错误处理
   }
   size *= 2;
   

2. 取出同类型值存入变量：当读取的类型和变量类型一致时，无需指定任何模板参数，编译器会自动推导TYPE1和TYPE2为变量的类型：

   uint16_t var2;
   if (!pop_value_from_array(var2))
   {
       // 错误处理
   }
   

这种写法完全替代了原来的两个重载函数，既保留了场景的灵活性，又避免了代码重复。

内容的提问来源于stack exchange，提问作者Alexander Labuuu