如何用同一无参LOG宏适配C++23显式/隐式对象成员函数

核心思路是通过编译期检测当前函数上下文是否存在this指针（普通成员函数）或self变量（显式对象参数函数），同时规避业务类中self()成员函数的命名冲突，实现无参LOG宏的统一调用。

1. 实现编译期检测工具 #

在detail命名空间中实现两个编译期特性检测，用于区分不同上下文：

#include <type_traits>

namespace detail {
    // 检测当前上下文是否存在隐式this指针
    template <typename = void>
    constexpr bool has_this = false;

    template <typename T>
    constexpr bool has_this<std::void_t<decltype(this)>> = true;

    // 检测当前上下文是否存在可访问的self变量（排除成员函数的情况）
    template <typename = void>
    constexpr bool has_self_var = false;

    template <typename T>
    constexpr bool has_self_var<std::void_t<decltype(self)>> = requires {
        // 通过lambda转发确保self是变量而非成员函数
        []<typename U>(U&&) -> U&& {}(self);
    };
}

2. 调整LoggableComponent（保持原有核心逻辑） #

无需修改get_current_logger_name()的实现，仅需确保业务类继承该类即可：

class LoggableComponent {
protected:
    const char* get_current_logger_name() const {
        return "logger_" __FILE__; // 示例：基于文件的日志名
    }
};

3. 实现无参LOG宏 #

利用编译期分支判断自动选择对象来源，确保在两种成员函数中都能正确调用日志接口：

#define LOG() \
    do { \
        const LoggableComponent& _log_target = [&]() -> const LoggableComponent& { \
            if constexpr (detail::has_this) { \
                // 普通成员函数：使用隐式this指针
                return *this; \
            } else if constexpr (detail::has_self_var) { \
                // 显式对象参数函数：使用self变量
                return self; \
            } else { \
                // 非法调用场景：编译期报错
                static_assert(false, "LOG() can only be used in member functions with implicit this or explicit self parameter"); \
            } \
        }(); \
        // 替换为实际日志输出逻辑，此处为示例
        printf("[%s] Log message\n", _log_target.get_current_logger_name()); \
    } while(false)

4. 业务类兼容验证 #

即使业务类存在self()成员函数，也不会影响LOG宏的正常工作：

// 不可修改的业务类A
class A : public LoggableComponent {
public:
    void normal_member() {
        LOG(); // 正常调用：使用*this
    }

    void explicit_param_func(this A& self) {
        LOG(); // 正常调用：使用self变量
    }

    // 存在self()成员函数，不会与LOG宏冲突
    A& self() {
        return *this;
    }
};

关键特性说明 #

• 编译期安全：所有判断在编译期完成，无运行时开销
• 命名冲突规避：has_self_var的检测逻辑通过lambda转发排除了self()成员函数的干扰
• 无参约束满足：LOG()无需传递任何参数，自动适配上下文
• 业务类无侵入：无需修改业务类代码，仅依赖继承关系

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