如何在C++11中实现类似consteval的编译期强制求值行为？

问题背景 #

项目需严格遵循C++11标准，希望实现Logger类的log方法：

• Debug模式：所有日志级别均写入日志文件，exception级别额外抛出异常。
• Release模式：仅保留exception级别的异常抛出逻辑，其余级别调用完全在编译期被省略。
  由于C++11无consteval关键字，仅能使用constexpr，但constexpr无法强制编译期求值，因此需要特定技巧实现需求。

现有代码的问题 #

你提供的代码存在两处C++11兼容性问题：

1. if constexpr是C17特性，C11不支持。
2. constexpr函数中无法包含std::fstream写入这类副作用操作（C++11对constexpr函数的限制极为严格，仅允许纯常量表达式操作）。

解决方案 #

以下是符合C++11标准的实现方案，核心思路是利用预编译宏+模板参数让编译器在编译期彻底剔除无用代码：

1. 调整Logger类实现

#include <fstream>
#include <stdexcept>
#include <type_traits>
#include <string>

#ifdef NDEBUG
constexpr bool DEBUGBUILD = false;
#else
constexpr bool DEBUGBUILD = true;
#endif

enum class LogLevel : unsigned {
  info,    // 普通事件
  error,   // 可恢复错误
  exception // 不可恢复错误
};

class Logger final
{
public:
    // 将LogLevel作为模板参数，确保编译期可判断
    template <LogLevel ll, typename... OutputtableArgs>
    void log(OutputtableArgs&&... oargs) const
    {
#ifdef NDEBUG
        // Release模式：仅处理exception级别
        if (ll == LogLevel::exception) {
            throw std::runtime_error(concatenate_args(std::forward<OutputtableArgs>(oargs)...));
        }
        // 其他级别无任何操作，编译器会直接消除该调用
#else
        // Debug模式：先写入日志
        write_log(ll, std::forward<OutputtableArgs>(oargs)...);
        // exception级别额外抛异常
        if (ll == LogLevel::exception) {
            throw std::runtime_error(concatenate_args(std::forward<OutputtableArgs>(oargs)...));
        }
#endif
    }

private:
    mutable std::fstream file_;

    // 辅助函数：拼接日志参数为字符串（C++11实现）
    template <typename T>
    std::string concatenate_args(T&& arg) const
    {
        return std::string(std::forward<T>(arg));
    }

    template <typename T, typename... Rest>
    std::string concatenate_args(T&& arg, Rest&&... rest) const
    {
        return concatenate_args(std::forward<T>(arg)) + concatenate_args(std::forward<Rest>(rest)...);
    }

    // 辅助函数：写入日志到文件
    template <typename... Args>
    void write_log(LogLevel ll, Args&&... args) const
    {
        // 转换LogLevel为字符串
        const char* level_str = nullptr;
        switch(ll) {
            case LogLevel::info: level_str = "[INFO]"; break;
            case LogLevel::error: level_str = "[ERROR]"; break;
            case LogLevel::exception: level_str = "[EXCEPTION]"; break;
        }
        // 写入日志内容
        if (!file_.is_open()) {
            file_.open("app.log", std::ios::out | std::ios::app);
        }
        file_ << level_str << " " << concatenate_args(std::forward<Args>(args)...) << std::endl;
    }
};

2. 调用方式

调用时需显式指定模板参数（确保LogLevel为编译期常量）：

Logger logger_;

if (something_bad_happens)
{
   // Release模式下仅抛出异常，Debug模式下先写日志再抛异常
   logger_.log<LogLevel::exception>(
     "In an optimized release build this call becomes equivalent to an exception throw",
     "But in a debug build it writes to a log file and then throws",
     "Which is exactly what I want");
}
else if (something_ordinary_happens)
{
  // Release模式下该调用会被编译器完全消除
  logger_.log<LogLevel::info>(
    "In an optimized release build this call is a no-op",
    "So it is eligible for elision at compile time in those circumstances",
    "Now the compiler will elide it for sure");
}

3. 关键保障措施

• 预编译宏隔离逻辑：通过NDEBUG宏在预处理阶段就剔除Release模式下的日志写入代码，避免无用代码进入编译流程。
• 模板参数传递LogLevel：将LogLevel作为模板参数，让编译器在编译期确定是否需要生成对应逻辑，而非依赖运行时判断。
• 编译器优化配合：在Release模式下开启-O2或更高优化级别（这是CMake Release模式的默认配置），编译器会自动消除空函数调用和无副作用的代码。

额外优化：禁用Release模式下非exception级别的调用 #

如果希望在Release模式下直接禁止非exception级别的日志调用（编译报错），可以在模板中添加static_assert：

#ifdef NDEBUG
template <LogLevel ll, typename... OutputtableArgs>
void log(OutputtableArgs&&... oargs) const
{
    static_assert(ll == LogLevel::exception, "Only exception-level logs are allowed in Release mode");
    throw std::runtime_error(concatenate_args(std::forward<OutputtableArgs>(oargs)...));
}
#endif

这样如果在Release模式下调用log<LogLevel::info>，编译器会直接抛出编译错误，从根源避免无用调用。

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