Почему компилятор жалуется, что f() не отображается?

Question

#include <iostream> 

using namespace std; 

template <size_t N> 
typename enable_if<(N > 1), void>::type f(){ 
    cout << N - 1 << ' '; 
    f<N - 1>(); 
} 
template <size_t N> 
typename enable_if<N == 1, void> ::type f() { 
    cout << 1; 
} 
int main() { 
    f<4>(); 
} 

Компилятор жалуется на линии 8:

f< N - 1 >(); 

вызов функции f который не является ни видно в определении шаблона, ни найден ADL.

Answer 1

Пожалуйста, обратите внимание, что функция определена ниже вызова функции.

У вас есть два возможных подхода:

Подход 1:

#include <iostream> 
#include <type_traits> 

using namespace std; 

template <size_t N> 
typename enable_if<N == 1, void> ::type f() { 
    cout << 1; 
} 

template <size_t N> 
typename enable_if<(N > 1), void>::type f(){ 
    cout << N - 1 << ' '; 
    f<N - 1>(); 
} 

int main() { 
    f<4>(); 
} 

подход 2:

Вы можете вперед объявить прототипом функции N==1 версии.

Answer 2

Обратный порядок определения функций.

#include <iostream> 
#include <type_traits> 

using namespace std; 

template <size_t N> 
typename enable_if<N == 1, void> ::type f() { 
    cout << 1; 
} 
template <size_t N> 
typename enable_if<(N > 1), void>::type f(){ 
    cout << N - 1 << ' '; 
    f<N - 1>(); 
} 
int main() { 
    f<4>(); 
} 

Выход:

$ ./a.out 
3 2 1 1