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

[Anonymous]

Рассмотрим ситуацию, когда код использует матрицы во многих точках, поэтому мы определили тип для матрицы типа: < /p>
#include
template
class MatrixImpl {};

template
using Matrix5x5 = MatrixImpl;

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

int main() { toBool(Matrix5x5{}); }
< /code>
Проблема в том, что я всегда должен явно указывать аргументы шаблона для функции, потому что компилятор не считает использование объявления как вещь, чтобы вывести аргументы шаблона. Ошибка: < /p>
#include
template
class MatrixImpl {};

template
using Matrix5x5 = MatrixImpl;

template
MatrixType toBool(const MatrixType &) {}

int main() { 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>
Изменить: моя цель будет заключаться в том, что может вызвать функцию без указания какого-либо аргумента шаблона, так же, как она работает, если аргументы имели значения по умолчанию. PrettyPrint-Override ">#include
template
class MatrixImpl {};

template
MatrixType toBool(const MatrixType &) {}

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


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