如何避免C++中volatile类的方法代码重复？

我有一个用于嵌入式系统硬件外设寄存器封装的简单类：

class A
{
public:
    static constexpr A make() { return A{}; }

    constexpr A() : _v(0) {}

    constexpr A& setV(int v) { _v = v; return *this; }

private:
    int _v;
};

当尝试用volatile修饰的类对象调用成员函数时，代码无法编译：

int main()
{
    volatile A a1;
    a1.setV(10);

    // 或者这种形式
    // 编译器会把constexpr调用链优化成单个store指令
    a1 = A::make().setV(10); // 可添加更多链式调用

    return 0;
}

已知的解决方案是为成员函数添加volatile限定的重载版本：

class A
{
public:
    constexpr A() : _v(0) {}

    volatile A& setV(int v) volatile { _v = v; return *this; }
    constexpr A& setV(int v) { _v = v; return *this; }

private:
    int _v;
};

注：我清楚未使用返回的volatile引用会触发警告。

我的核心问题是：有没有办法避免这种代码重复？两个setV的实现完全一致，仅volatile限定符不同，后续维护（添加或修改逻辑）时需要同步两个版本，逻辑复杂时会非常繁琐。

1. 模板成员函数复用实现 #

通过模板参数推导this的限定类型，让同一代码生成普通和volatile两个版本：

class A
{
public:
    constexpr A() : _v(0) {}

    template<typename Self>
    constexpr Self& setV(int v) noexcept {
        // 确保模板参数只能是A或volatile A
        static_assert(std::is_same_v<std::remove_cv_t<Self>, A>, "Invalid self type");
        static_cast<Self*>(this)->_v = v;
        return *static_cast<Self*>(this);
    }

private:
    int _v;
};

无论是普通A对象还是volatile A对象调用setV，模板都会自动推导对应Self类型，生成符合限定要求的函数版本。

2. 宏自动生成重载 #

如果项目允许使用宏，可以用宏批量生成带volatile限定的重载函数，避免手动重复编写：

#define DEFINE_VOLATILE_MEMBER(func_name, ret_type, params, body) \
    ret_type func_name params { body } \
    volatile ret_type func_name params volatile { body }

class A
{
public:
    constexpr A() : _v(0) {}

    DEFINE_VOLATILE_MEMBER(setV, A&, (int v), {
        _v = v;
        return *this;
    })

private:
    int _v;
};

宏会自动展开为普通和volatile两个重载版本，适合批量定义多个这类成员函数，但需注意宏的可读性和调试友好性问题。

3. C++20+ 利用Concepts约束 #

借助C++20的Concepts特性，用更清晰的方式约束模板参数，实现代码复用：

#include <concepts>

class A
{
public:
    constexpr A() : _v(0) {}

    template<typename Self>
    requires std::same_as<std::remove_cvref_t<Self>, A>
    constexpr Self& setV(int v) noexcept {
        static_cast<Self*>(this)->_v = v;
        return *static_cast<Self*>(this);
    }
};

通过requires子句确保模板参数只能是A或volatile A，写法比早期模板更直观，同时保证类型安全性。

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