My goal is to create an API interface that looks like that this:
struct myAB{ int a,b; };
void function(myAB ab) {}
...
function({.a = 1, .b = 3});
The above works just fine. But if I want struct AB to have a templated type, CTAD fails.
template <class B>
struct myAB2{ int a; B b; };
template<typename B> myAB2(int, B) -> myAB2<B>;
template<typename B>
void function2(myAB2<B> ab) {}
...
myAB2 ab = {.a = 1, .b = 3}; //works just fine with CTAD
function2(ab); //fine as expected
function2(myAB2{.a = 1, .b = 3}); //works just fine with CTAD
function2({.a = 1, .b = 3}); //fails to compile, can't deduce type 'B'
Why does CTAD fail in the last case? Is there anything I can do to get it to succeed?
A braced-init-list, including one that contains designated initializers, doesn't have a type. You can only ever deduce std::initializer_list or array types from them, which isn't happening here.
Since {.a = 1, .b = 3} is not an expression and doesn't have a type, function2({.a = 1, .b = 3}) cannot deduce anything for B from it, so the function can't be called.
function2<int>({.a = 1, .b = 3}) would work (because the myAB2<int> ab can be initialized with the designated initializers, no more deduction necessary).
So would function2(myAB2{.a = 1, .b = 3}) (because that does CTAD to get a prvalue of type myAB2<int>, which B = int can be deduced from).