Question

这是我的代码：

#include <string.h>
#include <stdlib.h>


template <int ...I>
class MetaString
{
    char buffer_[sizeof...(I)+1];
public:
    // A constexpr constructor 
    constexpr MetaString(const char * arg) :buffer_{ encrypt(arg[I])... }
    {}
    constexpr const char *get()const { return buffer_; }
private:

    constexpr char encrypt(const char c) const { return c ^ 0x55; }
};

char *decrypt(const char* buffer_, int size)
{
    char* tmp = (char *)malloc(size + 1);

    strcpy_s(tmp, size + 10, buffer_);

    for (int i = 0; i < size; i++)
    {
        *(tmp + i) = *(tmp + i) ^ 0x55;
    }

    return tmp;
}

int main()
{
    constexpr MetaString<0,1,2,3,5> var("Post Malone");

    char * var1 = decrypt(var.get(), 5);
    std::cout <<  var1 << std::endl;

    return 1;
}

这个想法很简单，我创建了MetaString对象，并提供了一些string。构造函数通过XOR加密自变量。然后，我有了decrypt函数，可以将值解密回来。

问题是我在构造函数中设置了断点（特别是此行constexpr MetaString(const char * arg) :buffer_{ encrypt(arg[I])... }），并且在调试模式下运行时会遇到断点。据我了解，这意味着在运行时会调用构造函数。

为了确保在编译时对函数进行求值，我以这种方式创建对象constexpr MetaString<0,1,2,3,5> var("Post Malone");，但是我已经读到constexpr变量必须是文字类型。

所以我的问题是我该如何管理像var这样的变量（该变量中已加密数据并在编译时进行评估），然后在运行时调用decrypt并获得原始值？

Answer 1

constexpr仅保证在常量表达式中可以使用函数或变量。它不能保证在编译时总是要评估/构造函数/对象。在您的特定情况下，实际上是不可能的，因为我们正在谈论具有自动存储持续时间的对象。如果要创建该对象，则只能在程序运行时真正创建它。尝试使变量static…

在constexpr函数中断点命中

1 个答案: