使用不定参数模版遇到一个小问题，做个记录
测试代码如下：
template<typename T, typename ...Args>
void pushToVectorIfParamIsStr(std::vector<std::string>& vec, T &&value,Args&&... args) {const bool is = std::is_same_v<T, std::string> ||std::is_same_v<T, const char*>;if (is) {vec.push_back(std::forward<T>(value));}const int count = sizeof...(args);if constexpr (count > 0) {pushToVectorIfParamIsStr(vec, std::forward<Args>(args)...);}
}template<typename ...Args>
void testFunc(const std::string& buff, Args& ... args)
{std::vector<std::string> vec;if constexpr (sizeof...(args) > 0) {pushToVectorIfParamIsStr(vec, std::forward<Args>(args)...);}for (auto &a:vec){std::cout << a << std::endl;}
}int main()
{auto a = "a";const char* b = "b";testFunc("", a, b, "c", std::string("d"));return 0;
}
预期vec中推入的字符串是a,b,c,d，实际只推入了a,b,d，字符串"c"并没有被推入vec，什么原因呢?
这是因为字符串字面量（如 "a"）在大多数上下文中都被视为字符数组,但是它们的实际处理方式会根据它们如何被使用而有所不同。
对于
auto a = "a";定义auto类型的变量并初始化为一个字符串字面量时，编译器会进行类型推导。由于 "a" 是一个字符串字面量，它在内存中是作为一个常量字符数组存在的，但在这里并没有引用整个数组，而是将整个字符串字面量赋值给一个变量。将字符串字面量赋值给一个非引用类型的变量时，它通常会“衰变”（decay）为一个指向其第一个字符的指针，即 char const*。
因此，此处的变量a被推导为 char const* 类型。
对于参数列表的中"c"
testFunc("", a, b, "c", std::string("d"));pushToVectorIfParamIsStr函数中的T &&value参数 ，为右值引用，接收到参数"c"时，其类型依然为char const [],因此无法通过下面代码的检测
const bool is = std::is_same_v<T, std::string> ||std::is_same_v<T, const char*>;
)
