具有方法指针参数默认值的模板

Question

考虑一下这个特殊的容器类，它存储了其中包含键和值的类型，所以

template<typename K, typename T, K (T::*method)() const>
class Container
{
//...
};

K 是键的类型，T 是值的类型，方法指针用于从值中检索键。

它工作正常，但我想为方法指针添加一个默认值，这样当调用者没有指定它时，它会是operator K() const，如下所示：

template<typename K, typename T, K (T::*method)() const = &T::operator K const>

但是当我尝试实例化它时，这不会编译说明有no member operator const K on A (<- my class I test this with)（并且有这样的方法）。甚至可以有方法指针模板参数的默认值吗？如果是，正确的语法是什么？

编辑：除了下面的解决方案之外，对于 T 是使用新 C++11 功能 std::remove_pointer<T>::type 的指针的情况，还有一个“修复”，所以：

template<typename K, typename T, K (std::remove_pointer<T>::type::*method)() const = &std::remove_pointer<T>::type::operator K>

Answer 1

函数的名称只是operator K。它的资格不是名称的一部分。试试：

template <typename K,
          typename T,
          K (T::*method)() const = &T::operator K>
//                                 ^^^^^^^^^^^^^^