std::enable_if welcher compiler hat recht?

[Matthias Gubisch]

Hallo Leute

ich habe hier ein kleines C++ Problem:

Code: Alles auswählen

template<bool deferred = true>
class foo
{
    template<typename = std::enable_if_t<deferred>>
    void bar() const
    {

    }
};

int main(void)
{
    foo<false> f1;
    foo<true>  f2;

    return 0;
}

https://godbolt.org/z/8q9qd6q8q

msvc compiliert das ohne probleme, clang und gcc werfen eine error

Frage 1: Wer hat recht? ich vermute leider gcc und clang
Frage 2: jemand eine idee wie ich das zum compilieren bekomme?

[dot]

Frage 1: Wer hat recht? ich vermute leider gcc und clang

Keiner hat unrecht, denn es handelt sich hier offenbar um einen Bug im Standard: https://www.open-std.org/jtc1/sc22/wg21 ... .html#2746. Ich glaube es ist unterspezifiziert ob die implizite Instanziierung eines Klassentemplates auch die implizite Instanziierung der Defaultargumente von Membertemplates mit sich zieht. Ich würde aber mal vermuten, dass das ultimativ ein Bug in clang/gcc werden wird. Defaultargumente werden meinem Verständnis nach normalerweise nicht mitinstantziiert, auch wenn das aktuelle Wording dies nicht explizit ausdrückt (es gibt explizite Ausnahmen für Defaultargumente von Funktionsparametern, für Defaultargumente von Templateparametern scheint das aber zu fehlen).

Frage 2: jemand eine idee wie ich das zum compilieren bekomme?

Easy, nachdem du offenbar eh C++20 verwendest, vergisst du am besten dass es std::enable_if jemals gegeben hat und verwendest constraints:

Code: Alles auswählen

template<bool deferred = true>
class foo
{
    void bar() const requires deferred 
    {

    }
};

[Matthias Gubisch]

Danke für die ausführliche Erklärung und den Tipp mit den constraints, da hätte ich auch selber draufkommen können.
Ist sowieso deutlich eleganter.