C++17: wie komme ich in dem static template an mein Basis-Using?

[cppbert (Gast)]

Ich hab eine etwas größere Template-Orgie unter VS2019 gefeiert und dann 
ein wenig spät meine üblichen Quertests mit gcc/clang unter Linux 
gemacht
leider bekomme ich bei dem unteren Code unter gcc diese Fehlermeldung:

19:79: error: expected initializer before '>' token

ich hab dann mein Szenario (aus sehr vielen hpps/cpps) relativ stark 
(nicht unbedingt sinnvoll) zusammengedampft um den Fehler in ein kleines 
Beispiel zu bringen- nochmal: das Beispiel ist nicht logisch oder 
strukturell sinnvoll - es ist nur der selbe Fehler

kann mir jemand sagen warum in der B::test das Change_callback using 
nicht gefunden wird - ohne ist mir klar - aber qualifiziert mit A:: 
muesste Change_callback doch erreichbar sein, oder?

mit A:: bekomme ich diesen Fehler

19:82: error: qualified-id in declaration before '>' token

zum spielen gcc.godbolt: https://gcc.godbolt.org/z/fT69s6KG9

#include <functional>

struct A
{
   using Change_callback = std::function<void( int value_ )>;
};

struct Callback_mapper
{
    template <auto OuterCallbackMethod, typename InnerCallback>
    InnerCallback create() const { return [&]( auto&&... args ){}; }
};

struct B: A
{
    template <auto CallbackMethod, typename CallbackMapper>
    static void test( const CallbackMapper& cm_ )
    {
        auto name_change_callback = cm_.create<CallbackMethod, A::Change_callback>();
    }
};

[Niklas G. (erlkoenig)]

Weil der Compiler beim Parsen (was ja VOR dem Einsetzen von Argumenten 
passiert - außer bei MSVC!) nicht genau weiß was "cm_" ist, weiß er auch 
nicht dass "create" ein template ist. Er nimmt an, create ist eine 
normale Member-Variable, und parst das "cm_.create < CallbackMethod" als 
kleiner-Operator. Das geht natürlich schief.

Lösen lässt sich das indem man

cm_.template create<CallbackMethod, A::Change_callback>();

schreibt. Dies zeigt dem Compiler an, dass "create" ein template ist, 
und nach dem "<" template-Argumente kommen.

Dass der MSVC das ohne "template" durchgehen lässt, ist nicht 
standard-konform, der Standard erfordert das "template". Beim MSVC geht 
es deswegen, weil er templates erst dann parst, wenn sie eingesetzt 
werden. Dadurch fallen einige Fehler nicht oder erst später auf, und 
andere korrekte Dinge funktionieren nicht. Bei MS ist halt alles immer 
etwas speziell :)

[cppbert (Gast)]

Niklas G. schrieb:
> Dass der MSVC das ohne "template" durchgehen lässt, ist nicht
> standard-konform, der Standard erfordert das "template". Beim MSVC geht
> es deswegen, weil er templates erst dann parst, wenn sie eingesetzt
> werden. Dadurch fallen einige Fehler nicht oder erst später auf, und
> andere korrekte Dinge funktionieren nicht. Bei MS ist halt alles immer
> etwas speziell :)

Danke Niklas für die Bestätigung meiner Vermutung und Lösung