Question

有没有办法在编译时和运行时实现字符串？

AFAIK用于构造constexpr的类需要有一个简单的析构函数。然而，当我们处理字符串时，这证明是困难的。如果字符串不是constexpr，那么它需要释放内存。但是，如果它是constexpr，那么它是静态分配的，不应该删除，因此允许一个简单的析构函数。

然而，不可能说“嘿，编译！如果我是constexpr，你不需要毁了我！”或者是吗？

它将类似于以下内容：

class string {
private:
    char * str;
public:
    template<std::size_t l>
    constexpr string(const char (&s)[l]) : str(&(s[0])) {}
    string(const char * s) { str = strdup(s); }
    static if (object_is_constexpr) {
        ~string() = default;
    }
    else {
        ~string() { free(str); }
    }
};

我能得到的最接近的是两个单独的类型，string和constexpr_string，用户定义的文字_string返回constexpr_string，以及用户定义的从constexpr_string到string的隐式转换。

这不是很好，因为const auto s = "asdf"_string;有效但const string s = "asdf"_string;没有。此外，constexpr_string的引用/指针不会转换。继承任何一种方式都会导致不直观的“问题”，并且无法解决第一个问题。

这似乎应该是可能的，只要编译器信任程序员，constexpr就不需要被破坏了。

如果我有误解，请告诉我。

Answer 1

这不仅是一个破坏问题。

constexpr操作应该只调用其他constexpr操作，而new，malloc等... 不 constexpr 。请注意，这是一个静态检查的属性，并且不依赖于运行时参数，因此必须完全不存在对此函数的调用，而不仅仅是隐藏在（假设）未采用的分支中。

因此，永远无法获得constexpr string。

Answer 2

在某种程度上，可以看到the code example in this page。您可以创建constexpr conststr对象并对它们调用一些操作，但不能将它们用作非类型模板参数。

C ++ 11 constexpr字符串实现

2 个答案: