XCODE 4.6 C++模板函数，函数指针作为模板类中的参数

Question

我已经为此苦苦挣扎了大约半天，似乎至少 XCode 4.6 有一个错误，即模板类的某些声明会违反语言并允许将 const 数据从类内传递到带参数的外部函数没有 const 修饰符。

下面的示例将编译，即使是艰难的模板声明 Tcaller::call() 方法指定作为引用传递的 const 参数 但是静态 cmp 函数提供了无用的 *const & 修饰符。

template< typename T> struct Tcalled
{
    // !!!error - this prototype doesn't protect the data passed to function
    // because it should be declared with const modifiers but it wouldn't compile then.
    // SEE: Below my NOTE for correct function prototype.
        static bool cmp(const Tcalled*& item, const int& key) //<- correct but doesn't work
        static bool cmp(Tcalled* const & item, const int& key) //<- invalid but works!!
        {
            return (item->index = key); /// error - we modify const object here !
        }

    T index;
};

template < typename T> struct Tcaller
{
    Tcaller(){}

    template < typename K, bool (*compare)(const T& item, const K& key) >
    bool call(int k) const { return compare(data, k); }

    T       data;

};


int main(int argc, char *argv[])
{
    const Tcaller<Tcalled<int>* > tmp;  // <- const data
    int k = 1;

    tmp.call<int,Tcalled<int>::cmp>(k);  //call here WILL modify const data !!

}

还有一个问题：我如何强制 XCode 遵守规则并允许我进行原型设计 我为模板参数声明的静态函数？至于现在，这些是我在正确声明静态方法时得到的 XCode 错误：

调用“call”没有匹配的成员函数 候选模板被忽略：模板参数“比较”的显式指定参数无效

谢谢！

Answer 1

大概你的意思是当参数被声明为Tcalled<T>* const & item 并且cmp 的主体应该使用== 而不是= 时它可以工作。

您对模板参数的实例化方式存在误解。这不仅仅是模板参数的复制粘贴替换。您期望 const T& 在使用 T 实例化为 Tcalled<int>* 时将等效于 const Tcalled<int>*&；即“对指向 const Tcalled<int> 的指针的引用。

但是，这是错误的，const 适用于整个 T 类型。所以真的，在实例化之后，const T& 等价于Tcalled<int>* const&。这就是为什么将参数声明为 Tcalled* const & item 可以正常工作的原因。

要使其与const Tcalled<T>*& item 的声明一起使用，必须进行一些更改：

1. call 函数模板参数应该这样定义：

   template < int (*compare)(T& item) >
   

   也就是说，函数指针类型采用T&，而不是const T&。这是有道理的，因为cmp 函数根本不引用const 对象（它引用非const 指针）。

2. call 函数不应该是const：

   int call() { return compare(data); }
   

   这是因为它传递了它的成员T 进行比较，这是对非const 对象的引用（指针本身不是const）。如果它是const 函数，它就不能这样做，因为它不能保证compare 不会修改对象。

3. Tcaller 必须用T 实例化为const Tcalled<int>*：

   Tcaller<const Tcalled<int>* > tmp;