将 C API 返回的 char* 转换为 C++ 字符串

Question

我在围绕我正在使用的 C API 的 C++ 标头包装器中找到了这段代码：

static string GetString(const char* chString)
{
    string strValue;
    if (NULL != chString)
    {
        strValue.swap(string (chString));
        releaseMemory((void*&)chString);
        chString = NULL;
    }
    return strValue;
}

我想作者试图给字符串strValuechString 的所有权，然后释放空缓冲区。我怀疑这是非常错误的（包括它是 const char*），但它实际上似乎适用于 MSVC 12。至少我还没有看到它崩溃。

假设 C API 和 C++ 库使用相同的堆（以便字符串可以在必要时重新分配缓冲区并最终释放它），有没有办法正确实现这一点？这个怎么样？

template <typename T> struct Deleter { void operator()(T o) { releaseMemory((void*&)o); } };

static std::string GetString(char* chString)
{
    if (NULL == chString)
        return std::string();
    return std::string(std::unique_ptr<char[], Deleter<char[]>>(chString).get());
}

再次假设 C API 使用与 std::string 相同的堆。

如果这也是非常错误的，那么是否有一个不可变的、拥有 C 风格的字符串包装器？类似于string_view 但不可变（所以const char* 输入可以）和拥有（所以它删除了C 字符串，可能在其dtor 中使用自定义删除器）？

Answer 1

我想作者试图给字符串strValuechString 的所有权，然后释放空缓冲区。

没有。它对chString指向的字符数据进行（低效且容易出错的）拷贝，然后释放chString指向的内存（如果拷贝抛出异常将跳过），然后返回拷贝.

假设 C API 和 C++ 库使用同一个堆

这不是一个正确的假设，甚至不是必要的假设。副本可以使用它想要的任何堆。

有没有办法正确实现这一点？这个怎么样？

使用std::unique_ptr 和自定义deleter 是正确的，但没有理由使用std::unique_ptr 的T[] 数组特化。

代码可以简化成这样：

void Deleter(char* o) { releaseMemory((void*&)o); }

static std::string GetString(char* chString)
{
    std::string strValue;
    if (chString) {
        std::unique_ptr<char, decltype(&Deleter)>(chString, &Deleter);
        strValue = chString;
    }
    return strValue;
}

或者，只是去掉检查chString 是否为空，实际上不需要它。 std::string 可以从一个空的char* 构造，而std::unique_ptr 不会用空指针调用它的deleter：

void Deleter(char* o) { releaseMemory((void*&)o); }

static std::string GetString(char* chString)
{
    std::unique_ptr<char, decltype(&Deleter)>(chString, &Deleter);
    return std::string(chString);
}

Answer 2

对于我的最后一个问题，这似乎是一个很好的解决方案（以及能够像字符串一样使用 char* 而无需复制它的最终目标）？

template <typename DeleterT = std::default_delete<const char*>>
class c_str_view
{
    public:
    unique_ptr<const char*, DeleterT> strPtr_;
    size_t len_;

    c_str_view() {}
    c_str_view(const char* charPtr) : strPtr_(charPtr), len_(strlen(charPtr)) {}
    c_str_view(const char* charPtr, size_t len) : strPtr_(charPtr), len_(len) {}

    operator std::string_view () const
    {
        return string_view(strPtr_.get(), len_);
    }
};

如果是这样，由于 string_view 即将到来，是否有充分的理由不在即将发布的标准中？当然，它只对 string_view 有意义，因为任何到 std::string 的转换都会导致复制并使整个练习变得毫无意义。

这是一个测试： http://coliru.stacked-crooked.com/a/9046eb22b10a1d87