C++模板參數推理

Question

作爲一個練習，我正在嘗試使用模板編寫數組實現，但函數指針作爲模板參數。每次數組獲得索引時都會調用該函數。

template<typename T, int size> 
using Array_fnIndex = void (*)(int index); 

template<typename T, int size, typename Array_fnIndex<T, size> fnIndex> 
struct Array { 
    T data[size]; 
    T& operator[](int index) { 
     fnIndex(index); 
     return data[index]; 
    } 
}; 

// example index function 
template<typename T, int size> 
void checkIndex(int index) { 
    assert(index < size); 
} 

int main() { 
    Array<int, 10, checkIndex<int, 10>> a; // this works 
    Array<int, 10, checkIndex<int, 11>> b; // this also works, not what I want 
    Array<int, 10, checkIndex> c; // this doesn't work, but what I want 
    return 0; 
} 

在main函數的最後數組聲明是我想什麼，在哪裏checkIndex的模板參數數組匹配前面的模板參數。但是這不會編譯（使用Microsoft編譯器）。我得到以下錯誤：

error C2440: 'specialization': cannot convert from 'void (__cdecl *)(uint)' to 'void (__cdecl *)(uint)' 
note: None of the functions with this name in scope match the target type 

有什麼辦法來得到期望的結果，其中用於提供的函數模板參數也會從其他參數推斷？

Answer 1

可能並不適用於您的實際使用情況，但我建議調用對象包含該檢查的功能：

template<typename T, int size, typename fnIndex> 
struct Array { 
    T data[size]; 
    T& operator[](int index) { 
     fnIndex{}.template check<size>(index); 
     return data[index]; 
    } 
}; 

struct checkIndex { 
    template<int size> 
    void check(int index) { 
     assert(index < size); 
    }  
}; 

int main() {  
    Array<int, 10, checkIndex> c; 
    return 0; 
} 

wandbox example

---

我們來分析一下fnIndex{}.template check<size>(index)：

fnIndex{} // make a temporary object of type `fnIndex` 
    .template check<size>(index) // call its `check` method using `size` 
           // as a template argument and `index` as 
           // as a function argument 

是因爲編譯器不知道什麼check意味着.template歧義語法是必需的 - 這可能是一個字段和行可以解釋爲：

fnIndex{}.check <size> (index)

其中<是小於操作， >是大於運算符，並且(index)是表達式。

使用.template告訴編譯器我們要調用模板方法。