Select class constructor using enable_if

Question

Consider following code:

#include 
#include 

template 
struct A {
    int val = 0;

    template 

        

Answer 1

I think this can't work with a single defaulted template parameter, because its value needs to be resolved when the class template is instantiated.

We need to defer the substitution to the point of constructor template instantiation. One way is to default the template parameter to T and add an extra dummy parameter to the constructor:

template
A(int n, typename std::enable_if::type* = 0) : val(n) { }