Тип переменной во время компиляции или выполнения?

Здравствуйте, подскажите пожалуйста: почему в данной случае тип переменных i, j известен на этапе компиляции

template <int i, int j, class T>
auto to_pair(T tuple) -> decltype(std::make_pair(std::get<i>(tuple), std::get<j>(tuple)))
{
    return std::make_pair(std::get<i>(tuple), std::get<j>(tuple));
}

а здесь на этапе выполнения

template <class T>
auto to_pair(int i, int j, T tuple) -> decltype(std::make_pair(std::get<i>(tuple),
                                                               std::get<j>(tuple)))
{
    return std::make_pair(std::get<i>(tuple), std::get<j>(tuple));
}

Ну или может поделитесь ссылкой, где поподробнее про это написано.