自定义字符串加密部分生效部分失效的C++技术求助

问题描述 #

为学习目的开发XorStr增强版，调试时简化了加密算法，目前遇到以下异常：

• 无重复的两个字符串编译后表现差异：短字符串“Hello”可完全从二进制中隐藏，但长字符串“Couldn't Allocate On Target Process, Contact Support!”未被加密。
• 大型项目中近30%的字符串未在编译期被处理，原始字符串直接保留在二进制文件中。

可复现代码 #

#include <Windows.h>
#include <iostream>
#include <random>

template<size_t Size, int64_t Key, int32_t UniqueID, bool InlinedKey = true>
class ISE {
private:
    char StringData[Size];
    mutable char DecryptedData[Size];
    constexpr static int64_t XorKey = InlinedKey ? Key : 0;

    constexpr __forceinline char XorChar(char C, size_t I, size_t S) const {
        char KeyCalc1 = (char)((Key + I + S) % 0xFF);
        char KeyCalc2 = (char)((I + S) % 0xFF);
        
        char BaseCalc1 = C ^ KeyCalc1;
        BaseCalc1 = BaseCalc1 + KeyCalc1;

        return BaseCalc1 ^ KeyCalc2;
    }

public:
    constexpr ISE(const char(&Input)[Size]) : StringData{} {
        for (size_t i = 0; i < Size; ++i) {
            DecryptedData[i] = '\0';
            StringData[i] = XorChar(Input[i], i, Size);
        }
    }

    static const ISE& GetInstance(const char(&Input)[Size]) {
        static const ISE OutputInstance(Input);
        return OutputInstance;
    }

    const char* c_str(int64_t InputKey = XorKey) const {
        for (size_t i = 0; i < Size; ++i) {
            DecryptedData[i] = '\0'; //UXorChar(InputKey, StringData[i], i, Size);
        }
        return DecryptedData;
    }
};
#define UNIQUE_ID (__LINE__ * 0x100 + __COUNTER__)
#define _(Str, Key) (ISE<sizeof(Str), Key, UNIQUE_ID, true>::GetInstance(Str).c_str())

int main()
{
    printf(_("Hello", 0xDDDA2254D545));
    printf(_("Couldn't Allocate On Target Process, Contact Support!", 0xFFFA2254D545));
    return 1;
} //Important to Note the String is being left in the binary, and will likely appear encrypted when running because its just placing my ISE Initializer in the runtime executable (Which it should not be doing!)

问题原因分析 #

1. 编译器constexpr评估限制：主流编译器（MSVC/GCC/Clang）对constexpr函数的计算步数、处理数据长度有默认阈值。当字符串长度超过阈值时，编译器会判定无法在编译期完成加密计算，转而在运行时初始化ISE实例，原始字符串因此被作为初始化参数存入二进制。
2. 静态变量初始化策略：静态局部变量的初始化分为编译期和运行时两种。编译器若认为ISE构造函数处理长字符串的逻辑过于复杂，会放弃编译期初始化，改为运行时动态初始化，原始字符串直接保留在二进制中。
3. UNIQUE_ID宏的潜在冲突：__LINE__ * 0x100 + __COUNTER__的组合在部分编译器中，对超长字符串的宏展开位置计算可能出现偏差，导致模板实例化的唯一性被破坏，间接影响编译期优化的触发。

解决方法 #

1. 提升编译器constexpr计算限制 #

针对不同编译器添加编译选项，放宽constexpr的计算限制：

• MSVC：添加/constexpr:depth10000 /constexpr:steps1000000（可根据字符串最长长度调整steps数值）。
• GCC/Clang：添加-fconstexpr-depth=10000 -fconstexpr-loop-limit=1000000。

2. 优化加密函数的constexpr兼容性 #

简化XorChar的计算逻辑，用位运算替代模运算（% 0xFF等价于& 0xFF），降低编译器对计算复杂度的判定：

constexpr __forceinline char XorChar(char C, size_t I, size_t S) const {
    char KeyCalc1 = (char)((Key + I + S) & 0xFF);
    char KeyCalc2 = (char)((I + S) & 0xFF);
    
    char BaseCalc1 = C ^ KeyCalc1;
    BaseCalc1 = BaseCalc1 + KeyCalc1;

    return BaseCalc1 ^ KeyCalc2;
}

3. 强制编译期初始化静态实例 #

使用C++20的constinit关键字，强制编译器在编译期完成ISE实例的初始化：

static constinit const ISE OutputInstance(Input);

4. 修复宏的唯一ID生成 #

用更可靠的__COUNTER__单独作为唯一ID（__COUNTER__每次宏展开时自动递增，天然保证唯一性）：

#define UNIQUE_ID (__COUNTER__)

5. 添加编译期断言验证 #

添加静态断言，确保ISE的构造函数确实在编译期执行，提前发现初始化问题：

#include <type_traits> // 需要包含头文件

constexpr ISE(const char(&Input)[Size]) : StringData{} {
    static_assert(std::is_constant_evaluated(), "ISE must be initialized at compile time");
    for (size_t i = 0; i < Size; ++i) {
        DecryptedData[i] = '\0';
        StringData[i] = XorChar(Input[i], i, Size);
    }
}

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