我可以從模板訪問結構/類成員嗎？

Question

我想要做的是創建一個接受任何類或結構（通過模板）的函數，但也有函數假定在傳入的類或結構中總是有特定的成員。

在可能 - 不正確的代碼，它會是這個樣子：

template <class inputType> 
int doSomething(inputType voxel) 
{ 
    return voxel.density; 
} 

我希望它假定density成員將永遠存在，而且將永遠是一個int（或任何）。我可以這樣做嗎？如果是這樣，如果density不存在會發生什麼？它只會拋出一個編譯器錯誤？

Answer 1

這是完全合法的，C++中的模板無法與其他方法（認爲Java）相比較，該類型通過保持類型變量來檢查泛型方法或類。

C++模板是使用每種可能的類型編譯的，因此每個特定類型的每個實例都會被編譯並進行類型檢查。如果您嘗試訪問未使用doSomething的類型中包含的字段，則會出現編譯器錯誤。

Answer 2

你絕對可以做到這一點，模板將在編譯時實例化，如果類型沒有該成員它不會編譯，你會收到和錯誤。模板函數基本上是合同，只要您使用的類型符合合同，那麼它將起作用。

在這種情況下，我也建議你嘗試一下，像LiveWorkSpace這樣的網站使用C/C++進行試驗非常簡單和無痛，無論你身在何處，它們都支持最新版本。通過嘗試這樣的事情你會學到更多東西。您可以在此前的thread中找到更多此類工具。