C++ 不定参数模版

使用不定参数模版遇到一个小问题，做个记录

测试代码如下：

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*>;