Templatd lambda calling templated lambda (C++20) doesn't work with clang 12 / 13

Question

Consider this code:

#include 
#include 

using namespace std;

int main( int argc, char **argv )
{
    static
    auto lA = []( unsigned a ) -> unsigned
    {
        return (unsigned)FLAG_A + FLAG_B + a;
    };
    static
    auto lB = []( unsigned a ) -> unsigned
    {
        return lA.template operator ()( a );
    };
    using fn_t = function;
    fn_t fn = bind( &decltype(lB)::template operator (), &lB, placeholders::_1 );
}

This compiles without any problems with MSVC 2019, but clang 12 / 13 gives the following errors:

test.cpp(11,12): error: multiple overloads of '__invoke' instantiate to the same signature 'auto (unsigned int) const -> unsigned int'
        auto lA = []( unsigned a ) -> unsigned
                  ^
test.cpp(11,12): note: in instantiation of member class '' requested here
test.cpp(21,42): note: in instantiation of function template specialization 'main(int, char **)::(anonymous class)::operator()' requested here
        fn_t fn = bind( &decltype(lB)::template operator (), &lB, placeholders::_1 );
                                                ^
test.cpp(11,12): note: previous implicit declaration is here
        auto lA = []( unsigned a ) -> unsigned
                  ^

gcc 11 also compiles the code without any errors. Is there a way to make the code to work with clang also without any elaborate workarounds ?

user_2684539 · Answer

There is still std::integral_constant (and even std::bool_constant in your case) to allow deduction:

static auto lA = [](std::bool_constant,
                                              std::bool_constant,
                                              unsigned a ) -> unsigned
{
    return (unsigned)FLAG_A + FLAG_B + a;
};
static
auto lB = []( unsigned a ) -> unsigned
{
    return lA(std::bool_constant{}, std::bool_constant{}, a);
};

Demo.

Templatd lambda calling templated lambda (C++20) doesn't work with clang 12 / 13

1 Answers