Перегрузка и нестабильность ⇐ C++

[Anonymous]

Как это будет работать?

Код: Выделить всё

struct S {};

void foo(volatile S&);
void foo(S);

int main() {
volatile S v;
foo(v);
}

Компиляторы расходятся во мнениях: MSVC принимает код, а Clang и GCC говорят, что вызов неоднозначен (демо).
Мы можем доказать это только 1-й кандидат может принять v, если мы закомментируем одного из кандидатов (и в этом случае составители согласятся):

• Если мы сохраним только 1-й, код компилируется.
• Если оставить только 2-й, то получим ошибку (

  Код: Выделить всё

  S

  не имеет копировщика. из изменчивого S&).

EDIT: поскольку вопрос был опубликован, люди придумали более простой пример. без энергозависимости.

Подробнее здесь: https://stackoverflow.com/questions/785 ... d-volatile