Функция функции скрытия свободной функции

Question

void foo(int) 
{ 
} 

class X 
{ 
    void foo() 
    { 
    } 

    void bar() 
    { 
     foo(42); 
     // error: no matching function for call to 'X::foo(int)' 
     // note: candidate is: 
     // note: void X::foo() 
     // note: candidate expects 0 arguments, 1 provided   
    } 
}; 

Почему C++ не может вызвать свободную функцию (которая является единственной с правильной сигнатурой)?

Answer 1

Логической причиной является Консистенцией.

• Пусть согласно предложению, компилятор разрешает foo(42) к ::foo(int).
• Теперь, когда вы меняете X::foo() на X::foo(int), тогда foo(42) будет разрешен к X::foo(int). Это непротиворечиво.

Это также причина, по которой функция производного класса скрывает функцию базового класса при наличии похожих имен.

Такие случаи могут быть разрешены двумя способами;

(1) Дать полное имя (например ::foo(42))

(2) С помощью утилиты using; например

void bar() 
{ 
    using ::foo; 
    foo(42); 
} 

Answer 2

Поскольку два идентификатора определены в разных областях, а разрешение перегрузки касается только функций в той же области. Как только компилятор обнаружит, что класс имеет foo, он перестает подниматься до более широких областей (C++ 11 §3.4.1/1), поэтому свободная функция foo скрыта.

Вы должны использовать полное имя для обозначения глобального foo:

::foo(42); 

Answer 3

Я не могу ответить, почему часть вашего вопроса - я не знаю, что было обоснование, что в языке спецификации ,

Для вызова глобальной функции в вашем примере, используйте :: синтаксис:

::foo(42); 

Answer 4

Причиной этого является тот факт, что компилятор будет искать имя функции соответствия первой, игнорируя значения и параметры возврата. Когда внутри класса он попытается найти подходящий элемент там (фактически, он будет просматривать все области, идущие «вверх», локальная область (области), область действия, область класса, область пространства имен, глобальная область действия и т. Д.).

X::foo - первое подходящее название. THEN (не раньше) попытается выбрать правильную перегрузку (если есть несколько деклараций) на основе параметров (именно по этой причине вы можете перегружать одну и ту же функцию разными параметрами, но не только с разными значениями возврата), а затем она будет проверять возвращаемое значение (если оно есть).

Answer 5

Действительно как и ваш вопрос.Кроме того, я мог бы сказать, используйте следующий синтаксис:

::foo(42); 

Но я могу сказать, что на мой взгляд, это более элегантный и хороший стиль программирования, набор пространств имен, так что вы можете написать что-то вроде этого:

namespace MyNameSpace 
{ 
    void foo(int){} 

    class X 
    { 
     void foo(){} 

     void bar() 
     { 
      MyNameSpace::foo(42); 
     } 
    }; 
}; 

Этот это хорошо, потому что Namespaces позволяют группировать классы, объекты и функции под именем.

PS: Тогда это поможет вам понять смысл записи ::foo(42);, если у вас нет пространства имен.

Answer 6

Имя во внутренней области скрывает имена во внешних областях. Неважно, является ли это функцией или чем-то еще, или если вы находитесь в классе или пространстве имен.

Только в том случае, если поиск по имени находит несколько функций с тем же именем, будет разрешено перегрузочное разрешение, чтобы попытаться выбрать тот, который наилучшим образом соответствует вызову.