Здравствуйте, watchmaker, Вы писали:

W>Иначе говоря, ты вручную явно инстанциируешь все безопасные комбинации, а компилятору оставишь работу по неявному инстанциированию всех остальных вариантов?

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

W>Если хочешь запретить некие комбинации типов, то используй enable_if или просто static_assert с условием напиши.

Я в коде для ядра не использую std, чтоб не возникало неожиданных зависимостей. Попробую выдрать из библиотеки.