Jak zapewnić przewodnik dedukcji dla zagnieżdżonej klasy szablonów?

Question

Według [temp.deduct.guide/3]:

(...) Odliczenie-przewodnik powinien być zadeklarowany w tym samym zakresie jak odpowiedniego szablonu klasy, a do szablonu klasy członka, z taki sam dostęp. (...)

Ale poniżej przykład nie wydaje się kompilować zarówno w [gcc] i [clang].

#include <string> 

template <class> 
struct Foo { 
    template <class T> 
    struct Bar { 
     Bar(T) { } 
    }; 
    Bar(char const*) -> Bar<std::string>; 
}; 

int main() { 
    Foo<int>::Bar bar("abc"); 
    static_cast<void>(bar); 
} 

Jaka jest prawidłowa składnia przewodnika odliczeń dla zagnieżdżonej klasy szablonów? A może ten jest poprawny, ale nie jest jeszcze obsługiwany przez kompilatory?

---

Podobny składnia ale bez zagnieżdżonych klasy kompiluje dobrze zarówno w gcc i brzękiem:

#include <string> 

template <class T> 
struct Bar { 
    Bar(T) { } 
}; 
Bar(char const*) -> Bar<std::string>; 

int main() { 
    Bar bar("abc"); 
    static_cast<void>(bar); 
} 

Answer 1

[temp.deduct.guide] zawiera zdanie:

odliczenie-guide zgłasza się w tym samym zakres jako odpowiedni szablon klasy i dla szablonu klasy członka z tym samym dostępem.

Sugeruje to, że przykład powinien działać - prowadnice odliczenia są wyraźnie wspierane przez szablonów klas członkiem, tak długo jak są one zadeklarowane w tym samym zakresie i dostępem (co byłoby zakres klasy i public - kontrola i sprawdzenie).

To jest gcc bug 79501 (złożony przez Richarda Smitha).