Question

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

我是否需要将x和y声明为volatile或将所有成员变量自动视为volatile？

我想确保“编译x的内容”不会被编译器的“y”重新排序。

编辑：如果我将普通类型转换为volatile类型会发生什么？这是否会指示编译器不重新排序对该位置的访问？我想在特殊情况下将一个普通变量传递给一个参数是volatile的函数。我必须确保编译器不会使用先前或后续的读写操作重新排序该调用。

Answer 1

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

也就是说，如果您确实希望对其进行的所有访问都被视为x，则可能需要标记y和volatile volatile。

Answer 2

您不必须明确声明成员变量..

来自标准文档 9.3.2.3 ，

类似地， volatile语义（7.1.6.1）在访问对象及其非静态时应用于volatile成员函数数据成员。

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>

由于volatile实例无法调用non-volatile方法，我们可以假设，是的，x和y将为volatile该方法，即使MyClass的实例未声明为volatile。

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

Answer 4

IBM implies它与const函数完全相同。

Answer 5

所以使用原始示例：

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
    } 
};

C ++ volatile成员函数

5 个答案: