使用 mpl 对现有元功能进行部分特化

Question

也许我今天不在场，但我想知道如何让它发挥作用。 我想部分专业化 boost 库中的 range_mutable_iterator 和 range_const_iterator ，但仅限于我宁愿避免明确提及的特定类型，而是仅在启用_if 测试标准通过时才选择部分专业化。

我当前正在使用 MSVC 2008，但收到以下错误：
ArrayType：模板参数未在部分专业化中使用或可推导类型

range_mutable_iterator<
  typename enable_if<
    mpl::and_<
      mpl::has_key<some_type_map, typename remove_const<T>::type>,
      mpl::not_<is_const<T> >
    >,
    ArrayType
  >::type
>

使用 STLFilt，请注意对 T 而不是 ArrayType 的奇怪引用，我猜 STLFilt 说它可以'不明白 T == ArrayType..？这就是我现在所拥有的：

namespace boost {
template<class ArrayType>
struct range_mutable_iterator<
  typename enable_if<
    mpl::and_<
      mpl::has_key<some_type_map, typename remove_const<ArrayType>::type>,
      mpl::not_<is_const<ArrayType> >
    >,/*and_*/
    ArrayType
  >::type/*enable_if*/
>
{
  typedef MyArrayIterator<
    typename mpl::at<some_other_type_map,
      typename mpl::at<yet_another_type_map,ArrayType>::type
    >::type/*at*/
  >/*MyArrayIterator*/ type;
};
}

让 range_begin/range_end 工作目前不是问题，目标是让线条工作看起来像这样：

ThirdPartyArrayClass blah;
MyArrayAdapter<ThirdPartyArrayClass>::iterator iter = boost::begin(blah);

编辑：在尝试了我从这个答案中编辑出的不同方法之后，我开始接受在这种情况下部分专业化是不可能的，因此我使用了一种不同的方法，其中涉及完全专业化和大量使用 Boost.Preprocessor。

Answer 1

为了部分特化模板，编译器必须将实际模板参数与现有特化相匹配，以选择最佳匹配。如果特化中的模板参数仅用作依赖类型的（模板）参数，则这是不可能的。所以，编译器会抱怨，这是正确的。您唯一能做的就是以某种方式专门化您的具体 ThirdPartyArrayClass 类型。