我的类型在 std 函数中的 enable_if 谓词失败。有没有办法“调试”谓词？

Question

我的问题一般是关于标准库中的 enable_if 谓词，但我将在迭代器类型的上下文中对其进行构建，因为这是我目前遇到此问题的地方。

我有一个自定义迭代器类型It，这样std::iterator_traits<It>::value_type 就是Val。我已经成功地将这种类型与 C++11 之前的标准一起使用，但现在使用 C++11（以及另一个通常更严格的编译器）编译失败了。我的用例之一是insert into a vector 喜欢

std::vector<Val> v; 
It begin = ...
It end = ...   
v.insert(v.end(), begin, end);

编译器拒绝我想要的特定重载候选 insert<_Iter>(iterator, _Iter, _Iter) 的原因是：

no matching member function for call to 'insert'
candidate template ignored: disabled by 'enable_if' [with _Iter = It]

查看<vector> 标头，我看到失败的enable_if 谓词是_Is_Iterator。有没有办法逐步检查谓词条件以找出哪个It 不满足，或者通常有任何方法可以找出此信息而无需手动检查InputIterator 的所有要求（或任何相关概念可能是）一个接一个？

旧编译器（It 适用）是来自 C++ Builder XE8 的 bcc32；新的编译器是 C++ Builder 10.1 中基于 Clang 的 32 位编译器。

Answer 1

您的编译器会尝试告诉您哪个参数是错误的。 Visual Studio 将告诉您与您的规范最匹配的重载以及哪些参数匹配或不匹配。我相信 Clang 和 gcc 也能做到这一点。

一旦您读取了不匹配的参数，您有责任确定编译器是否尝试了正确的重载，以及您的参数如何不匹配。

在大多数情况下，这很简单。但是你对迭代器是正确的，它可能有点令人生畏。但这就是为什么这通常由您的样板文件从iterator 继承来处理的原因。

当您编写迭代器时，您有责任实现继承自的迭代器类别的要求。

insert 要求最后两个参数为“InputIterators”。所以你应该继承自iterator<input_iterator_tag, T> 或更费力的标签之一。一个“InputIterator”被定义为：

1. 满足“Iterator”所有要求的类型
2. 类型为“EquallyComparable”
3. 已定义 reference 和 value_type 成员类型
4. 定义了不等式运算符
5. 定义了指针解引用和成员选择运算符
6. 定义了前置和后置运算符