C模板参数推断

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,11>> b; // this also works,not what I want
    Array<int,checkIndex> c; // this doesn't work,but what I want
    return 0;
}

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

解决方法@H_616_12@

可能不适用于您的实际用例,但我建议一个包含执行检查的函数的可调用对象：

template<typename T,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,checkIndex> c;
    return 0;
}

wandbox example

让我们分析fnIndex {}.模板检查< size>(索引)：

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

.template消歧语法是必需的,因为编译器不知道检查的含义 – 它可能是一个字段,并且该行可以解释为：

fnIndex {}.检查<尺寸> (指数)

在哪里<是小于运算符,>是大于运算符,(索引)是表达式.

使用.template告诉编译器我们要调用模板方法.