在C++中調用模板參數的靜態函數

Question

以下Java代碼調用泛型參數T上的靜態方法printText(text)，該參數代表派生類Printer。是否有可能在C++中實現完全相同的行爲？如果是，如何？

public class Printer { 

    public static void printText(String text) { 
     System.out.println(text); 
    } 

    public static <T extends Printer>void print(String text) { 
     T.printText(text); 
    } 

    public static void main(String[] args) { 
     Printer.print("Hello World!"); 
    } 

} 

Answer 1

是的，這是可能的：

template <typename T> 
void print(const std::string& text) 
{ 
    T::printText(text); 
} 

爲了確保Printer是T基地，你可以在這個編譯時檢查添加到函數：

static_assert(std::is_base_of<Printer, T>::value, "T must inherit from Printer"); 

Answer 2

你可以這樣做

struct A 
{ 
    static void printMe() 
    { 
     std::cout << "A print \n"; 
    } 
}; 

struct B 
{ 
    static void printMe() 
    { 
     std::cout << "B print \n"; 
    } 
}; 


template<typename T> void printer() 
{ 
    T::printMe(); 
} 

int main() { 

    printer<A>(); 
    printer<B>(); 
    return 0; 
}