为何CHAR[]可作为LPSTR参数传递？相关代码疑问解析

问题背景 #

我有一段能正常运行的代码：

std::string GetProgramDataPath() {

    CHAR path[MAX_PATH];
    HRESULT hr = SHGetFolderPathA(nullptr, CSIDL_COMMON_APPDATA, nullptr, 0, path); // path accepted as LPSTR parameter?

    if (SUCCEEDED(hr)) {
        return std::string(path); // then automatically cast to const char*?
    }
    else {
        return std::string();
    }
}

但我不清楚其中的类型转换逻辑。当我尝试直接使用LPSTR时，会出现错误：Error C4700 "未初始化的局部变量'path'被使用"。之后我写出了下面这段代码，想请教几个问题：

std::string GetProgramDataPath() {

    LPSTR path = new CHAR[MAX_PATH];
    HRESULT hr = SHGetFolderPathA(nullptr, CSIDL_COMMON_APPDATA, nullptr, 0, path);

    if (SUCCEEDED(hr)) {
        std::string strPath(path);
        delete[] path;
        return std::string(strPath);
    }
    else {
        delete[] path;
        return std::string();
    }
}

疑问解答 #

1. 这段用new/delete的代码是否正确？ #

这段代码逻辑上能运行，但存在冗余和潜在风险：

• return std::string(strPath)完全没必要，直接返回strPath即可，不需要再构造一次新的std::string。
• 手动管理new/delete容易出错，如果后续代码修改中不小心提前return或者出现异常（虽然当前场景不会，但习惯不好），会导致内存泄漏。更推荐用自动内存管理的方式，比如栈数组或者智能指针。

2. 直接使用CHAR[]是否存在安全问题？ #

直接用CHAR path[MAX_PATH]是安全且更优的选择：

• 栈上分配的数组会在函数结束时自动销毁，不需要手动管理内存，完全避免内存泄漏风险。
• MAX_PATH是Windows定义的合法路径长度上限，SHGetFolderPathA会保证写入的内容不超过这个长度（只要参数正确），不会出现缓冲区溢出的问题。

3. 为什么CHAR[]能替代LPSTR生效？ #

这确实和C/C++中数组与指针的等价性有关：

• 在函数调用时，数组名path会被隐式转换为指向数组首元素的指针，也就是CHAR*。而LPSTR本质上就是Windows定义的typedef CHAR* LPSTR，所以这个转换是天然兼容的，不需要显式类型转换。

4. 从CHAR[]到const char*的自动转换是怎么回事？ #

std::string的构造函数接受const char*类型的参数：

• 栈数组path先被转换为CHAR*（即LPSTR），而CHAR*可以隐式转换为const char*——因为std::string的构造函数只是读取字符串内容，不会修改它，这种转换是安全的，编译器会自动完成这一步，不需要手动写转换代码。

补充：为什么直接用LPSTR会报未初始化错误？ #

当你声明LPSTR path;时，这只是一个指针变量，没有指向任何有效的内存空间。此时直接把它传给SHGetFolderPathA，函数会尝试往一个随机地址写入数据，属于未定义行为，所以编译器会报未初始化的错误。而栈数组CHAR path[MAX_PATH]是直接分配了一块连续的栈内存，即使未初始化，它的地址是有效的，函数可以安全地往里面写入内容（SHGetFolderPathA会负责写入以\0结尾的字符串）。

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