Wierzę, że jest to błąd w brzękiem ++ związane z dostępem do funkcji składowej publicznej klasy za

Question

Poniższe doesn't compile w brzękiem:

#include <iostream> 

void f() { std::cout << "f()\n"; } 

struct S { 
    typedef void(*p)(); 
    operator p() { return f; } 
}; 

int main() 
{ 
    S s; 
    s.operator p()(); 
} 

Plony:

main.cpp:13:16: error: unknown type name 'p'; did you mean 'S::p'? 
    s.operator p()(); 
      ^
       S::p 

main.cpp:6:19: note: 'S::p' declared here 
    typedef void(*p)(); 
       ^

Ale to powinno , ponieważ wyrażenie s.operator p()() uzyskuje dostęp do publicznej funkcji składowej obiektu S::s. Czy czegoś brakuje?

Jeśli się mylę, byłbym wdzięczny za wycenę ze Standardu, który wspierałby odpowiedź.

Answer 1

Wygląda na to, że jest to błąd w Clangu. Uważam, że kod jest poprawny.

Clang 4.0.0 raporty:

<source>:13:16: error: unknown type name 'p'; did you mean 'S::p'? 
    s.operator p()(); 
     ^

Jednak z C++ 14 3.4.5/7 [basic.lookup.classref]

Jeśli identyfikator ekspresja jest konwersja -function-id, jego identyfikator typu-konwersji jest najpierw wyszukiwany w klasie wyrażenia obiektowego i używana jest nazwa, jeśli została znaleziona. W przeciwnym razie jest on sprawdzany w kontekście całego wyrażenia Postfiksa. W każdym z tych wyszukiwań brane są pod uwagę tylko te nazwy, które oznaczają typy lub szablony, których specjalizacje są typami .

[przykład:

struct A { }; 
namespace N { 
struct A { 
    void g() { } 
    template <class T> operator T(); 
}; 
} 


int main() { 
    N::A a; 
    a.operator A(); 
     // calls N::A::operator N::A 
} 

- przykład end]

W przykładzie typ p powinny zostać znalezione w klasie nie wymaga kwalifikacji.