在 C++ 中执行非静态成员变量结构体/类需要被标记为易失性才能在成员函数中被视为易失性吗？

Question

class MyClass
{
    int x, y;
    void foo() volatile {
        // do stuff with x
        // do stuff with y
    }   
};

我是否需要将 x 和 y 声明为 易失性 还是将所有成员变量自动视为 易失性？

我想确保“stuff with x”不会被编译器重新排序为“stuff with y”。

编辑： 如果我将普通类型转换为 易失性 类型，会发生什么情况？这是否会指示编译器不要重新排序对该位置的访问？我想将特殊情况下的普通变量传递给参数易失的函数。我必须确保编译器不会通过之前或之后的读取和写入重新排序该调用。

Answer 1

标记成员函数易失性就像标记它const；这意味着接收者对象被视为被声明为易失性T*。因此，任何对 x 或 y 的引用都将被视为成员函数中的 易失性 读取。此外，易失性对象只能调用易失性成员函数。

也就是说，如果您确实希望将对 x 和 y 和 y 的所有访问都视为 易失性。

Answer 2

您不必必须显式声明成员变量。

来自标准文档9.3.2.3，

类似地，易失性语义 (7.1.6.1) 在访问对象及其非静态时应用于易失性成员函数
数据成员。

Answer 3

以下代码：

#include <iostream>

class Bar
{
    public:

        void test();
};

class Foo
{
    public:

        void test() volatile { x.test(); }

    private:

        Bar x;
};

int main()
{
    Foo foo;

    foo.test();

    return 0;
}

使用 gcc 编译时引发错误：

main.cpp: In member function 'void Foo::test() volatile':
main.cpp:14:33: error: no matching function for call to 'Bar::test() volatile'
main.cpp:7:8: note: candidate is: void Bar::test() <near match>

并且由于 易失性 实例无法调用 非易失性 方法，我们可以假设，是的，x 和 y 在方法中将是 易失性，即使 MyClass 的实例未声明 易失性< /代码>。

注意：如果需要，您可以使用 const_cast<> 删除 volatile 限定符；但是要小心，因为就像 const 一样，在某些情况下这样做可能会导致未定义的行为。

Answer 4

所以使用原来的例子：

class MyClass
{
    int x, y;
    void foo() volatile {
        // do stuff with x
        // do stuff with y
        // with no "non-volatile" optimization of the stuff done with x, y (or anything else)
    }   
    void foo() {
        // do stuff with x
        // do stuff with y
        // the stuff done with x, y (and anything else) may be optimized
    } 
};