1
#include <type_traits>

using namespace std;

template <typename Check, typename T>
void check(T)
{
    static_assert(is_same<Check, T>::value);
}

void fun()
{}

typedef void(*p)();

int main() {
    check<void(*)()>(fun);
    check<void(*)()>(&fun);

return 0;
}

Объясните пожалуйста, в каких случаях и для чего используется такой мудреный способ передачи параметра в шаблонную функцию через угловые скобки? Почему нельзя просто в круглых скобках его передать так же как и второй параметр (в примере)?

1 ответ 1

6

Параметры шаблона всегда передаются в угловых скобках. И только так.

Параметры шаблона отличаются от параметров функции тем, что первые определяются на этапе компиляции, а вторые - на этапе исполнения. Параметры шаблона нужны для генерации компилятором сразу нескольких похожих функций, которые отличаются только типами входных и выходных параметров. Если вы в коде вызываете одну и ту же функцию с разными значениями параметров одного типа, то в исполняемый файл попадёт только один экземпляр функции, который будет вызываться многократно. Если вы создали шаблон функции и используете его с разными параметрами шаблона, то в исполняемый файл попадёт столько различных экземпляров функций, сколько различных сочетаний параметров у вас применено. Конечно, это справедливо, только если у функции есть хоть какое-то наблюдаемое поведение, а это не ваш случай.

Начиная с C++17 появилась возможность не указывать параметры шаблона вручную, а применять Class Template Argument Deduction - это такая штука, с помощью которой компилятор сам определяет параметры шаблона и подставляет их в угловые скобки за вас. Например:

check<void(*)()>(fun);

будет преобразовано в

check<void(*)(), decltype(fun)>(fun);

То есть второй параметр шаблона всё равно присутствует, хоть его вы его и не указали. Просто компилятор сам его определил.

Конкретно здесь функция check проверяет, соответствует ли переданная в качестве параметра функция типу Check. Если да, то ничего не делает. Если нет, то генерирует ошибку компиляции.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.