易失性超载？

Question

我听说volatile是const的重载因素。

如果一个函数被volatile参数重载， when是什么时候volatile的版本被调用？

我无法想象当调用volatile版本时的情况。  

Answer 1

可以将挥发性数据应用于参数，但当直接应用于参数时，它不是过载的因素。但是可以使用它来区分参数的类型。例如，这是合法的：

void f(int &p) {}; //reference to int 
void f(volatile int &p) {}; //reference to volatile int 

这不是：

void f(int p) {}; 
void f(volatile int p) {}; 

的原因是，在第一个例子引用是不是有什么波动，但整数。在第二个例子中，两种类型都是整数，因此是相同的类型。

也有不稳定的方法。他们类似于宣称this是易变的。由于this是一个指针，而不是包含类型本身，下面的内容也是合法的：

void c::f(int p) {}; 
void c::f(int p) volatile {}; 

它是所有相同的const超载。

C++标准的相关部分是§13.1可重载声明。来自C++ 11草案n3290：

参数声明仅在存在或不存在const和/或volatile时是相同的。也就是说，在确定哪个函数正在被声明，定义或调用时，忽略每个参数类型的const和volatile类型说明符。 [实施例：

typedef const int cInt; 
int f(int); 
int f(const int);   // redeclaration of f(int) 
int f(int) { /* ... */ } // definition of f(int) 
int f(cInt) { /* ... */ } // error: redefinition of f(int) 

- 端示例]

只有在参数类型规范的最外层的const和volatile类型说明符以这种方式被忽略;隐藏在参数类型规范中的const和volatile类型说明符是重要的，可用于区分重载函数声明。特别地，对于任何类型的T，pointer to T，pointer to const T，和pointer to volatile T被认为是不同的参数类型，因为是reference to T，reference to const T，和reference to volatile T。

_{124）当参数类型包括功能类型，例如在参数类型的情况下是一个指向功能， const和volatile类型说明符在参数类型规格的用于最外层平内部功能类型 也被忽略。}

Answer 2

下面是一个例子：

#include <iostream> 

struct A { 
    void foo() { 
     std::cout << "in non-volatile" << std::endl; 
    } 
    void foo() volatile { 
     std::cout << "in volatile" << std::endl; 
    } 
}; 

int main() 
{ 
    A a; 
    a.foo(); 
    volatile A b; 
    b.foo(); 
} 

b.foo()将调用volatile超载。如果struct A对于foo没有易失性过载，则b.foo()将无效。

Answer 3

写一个测试程序找出来。

void func(const int& a) 
{ 
    std::cout << "func(const)" << std::endl; 
} 

void func(const volatile int& a) 
{ 
    std::cout << "func(const volatile)" << std::endl; 
} 

int main() 
{ 
    const int a = 0; 
    const volatile int b = 0; 
    func(a); 
    func(b); 
    system("pause"); 
    return 0; 
} 

将输出：

func(const) 
func(const volatile)