Warum beschwert sich der Compiler, dass f() nicht sichtbar ist?

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>(); 
} 

Compiler beschwert sich in Zeile 8:

f< N - 1 >(); 

Anruf f funktionieren, die weder in der Template-Definition ist noch von ADL gefunden.

Answer 1

Bitte beachten Sie, dass die Funktion unterhalb der Funktionsaufruf definiert ist.

Sie haben zwei mögliche Ansätze:

Ansatz 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>(); 
} 

Ansatz 2:

Sie können vorwärts erklären der Prototyp für die N==1 Version Funktion.

Answer 2

Kehren Sie die Reihenfolge Ihrer Funktionsdefinitionen um.

#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>(); 
} 

Ausgang:

$ ./a.out 
3 2 1 1