Неявное преобразование в концепциях C++ ⇐ C++

[Anonymous]

Есть ли способ предотвратить неявные преобразования в концепциях. Например, это компилируется с помощью GCC и clang, когда я действительно хочу, чтобы он выдал ошибку об отсутствии конструктора char:
Редактировать: просто для некоторой ясности, вопрос в том, как мне написать концепцию define_constructors, чтобы она не прошла тест класса, потому что у нее нет конкретного конструктора char

Код: Выделить всё

template
concept specific_constructors = requires {
T(int{}, char{});
T(int{});
T(char{});
};

struct test {
test(int a_, char b_): a{a_}, b{b_} {}
explicit test(int a_): a{a_}, b{} {}
//explicit test(char b_): a{}, b{b_} {}
private:
int a;
char b;
};

auto main() -> int {
specific_constructors auto const v1 {test{1,'a'}};
}

В настоящее время я думаю о простом заключении символа в структуру или использовании строгого типа, но я ищу любые другие доступные варианты.


Подробнее здесь: https://stackoverflow.com/questions/798 ... c-concepts