Вывод шаблонов и неявные конструкторы: есть ли способ заставить вывод шаблонов работать с неявным преобразованием? ⇐ C++

[Anonymous]

Есть ли способ заставить вывод шаблонов работать с (неявным) преобразованием? Как в следующем примере:

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

template struct A {};

template struct B
{
B(A); // implicit A->B conversion
};

template void fun(B...);

int main()
{
A a;
fun(B(a)); // works
fun(a);    // does not work (deduction failure)
}

My thoughts:

• If

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

  A

  is a subclass of

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

  B

  , everything works. That means that deduction can do implicit conversion using upcasting. So it seems weird that it can not do implicit conversion using a constructor.
• Overloading

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

  fun

  for

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

  A

  and

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

  B

  is possible in principle, but for multiple parameters, there are just too many combinations
• Adding a deduction guideline (

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

  template B(A)->B;

  ) does not change anything.

EDIT: some context:
In my actual code,

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

A

is a (large) container, and

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

B

is a lightweight non-owning view object. The situation is similar to the fact that

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

std::vector

can not be implicity converted to

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

std::span

during deduction of

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

T

, even though for any concrete

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

T

, such a conversion exists.


Источник: https://stackoverflow.com/questions/694 ... emplate-de