Typedef, который позволяет вывернуть аргумент шаблона шаблона типа ⇐ C++

[Anonymous]

Рассмотрим ситуацию, когда код использует матрицу во многих точках, поэтому мы определили Typedef для типа матрицы:
#include

template
class MatrixImpl {};

template
using Matrix5x5 = MatrixImpl;

Я добавляю только тип Matriximpl , чтобы иметь полный пример, но он также может исходить из внешней библиотеки или аналогичного.template
MatrixType toBool(const MatrixType &) { return MatrixType{}; }

int main() { Matrix5x5 x = toBool(Matrix5x5{}); }

Проблема в том, что я всегда должен явно указывать аргументы шаблона для функции, потому что компилятор не рассматривает объявление как вещь, которая выводит аргументы шаблона. Ошибка: < /p>
#include

template
class MatrixImpl {};

template
using Matrix5x5 = MatrixImpl;

template
MatrixType toBool(const MatrixType &) { return MatrixType{}; }

int main() { Matrix5x5 x = toBool(Matrix5x5{}); }
< /code>
Вот ошибка, которую я получаю: < /p>
main.cpp: In function 'int main()':
main.cpp:11:20: error: no matching function for call to 'toBool(Matrix5x5)'
11 | int main() { toBool(Matrix5x5{}); }
| ~~~~~~^~~~~~~~~~~~~~~~~~
main.cpp:11:20: note: there is 1 candidate
main.cpp:9:18: note: candidate 1: 'template MatrixType toBool(const MatrixType&)'
9 | MatrixType toBool(const MatrixType &) {}
| ^~~~~~
main.cpp:9:18: note: template argument deduction/substitution failed:
main.cpp:11:20: note: 'Matrix5x5' {aka 'MatrixImpl'} is not derived from 'const MatrixType'
11 | int main() { toBool(Matrix5x5{}); }
| ~~~~~~^~~~~~~~~~~~~~~~~~
< /code>

edit: < /strong> < /p>
Моя цель будет заключаться в том, что я могу вызвать функцию без указания каких -либо аргументов шаблона, так же, как и работает, если у аргументов были значения по умолчанию. Аналогично этим:
это добавляется только для того, чтобы показать, что аргументы по умолчанию ведут себя так, как я хочу, чтобы я использовал объявление, чтобы вести себя.#include

template
class MatrixImpl {};

template
MatrixType toBool(const MatrixType &) { return MatrixType{}; }

int main() { MatrixImpl x = toBool(MatrixImpl{}); }


Подробнее здесь: https://stackoverflow.com/questions/796 ... -deduction