std::back_insert_iterator
具有等于value_type
的void
,但是它也具有protected
成员container
,该成员持有指向基础Container
的指针。我正尝试编写一个特征类来提取容器的value_type
,如下所示:
#include <iterator>
#include <type_traits>
#include <vector>
template<class OutputIt>
struct outit_vt
:
OutputIt
{
using self_type = outit_vt<OutputIt>;
using value_type = typename std::remove_pointer_t<decltype(std::declval<self_type>().container)>::value_type;
};
int main()
{
std::vector<int> v;
auto it = std::back_inserter(v);
static_assert(std::is_same<outit_vt<decltype(it)>::value_type, int>::value, "");
}
但是,((或多或少)会遇到不完整的类型错误。为了获取提取容器的value_type
,是否有解决方法?
@ Rapptz的答案是正确的,但对于通用代码(即,当不清楚先验是先处理原始的T*
还是back_insert_iterator
还是标准库的其他输出迭代器之一)时,则系统性更强方法是必要的。
为此,在用户定义的output_iterator_traits
中的类模板namespace xstd
的定义下方。
#include <iterator> // iterator, iterator_traits, input_iterator_tag, output_iterator_tag, random_access_iterator_tag
// back_insert_iterator, front_insert_iterator, insert_iterator, ostream_iterator, ostreambuf_iterator
#include <memory> // raw_storage_iterator
namespace xstd {
template<class T>
struct output_iterator_traits
:
std::iterator_traits<T>
{};
template< class OutputIt, class T>
struct output_iterator_traits<std::raw_storage_iterator<OutputIt, T>>
:
std::iterator<std::output_iterator_tag, T>
{};
template<class Container>
struct output_iterator_traits<std::back_insert_iterator<Container>>
:
std::iterator<std::output_iterator_tag, typename Container::value_type>
{};
template<class Container>
struct output_iterator_traits<std::front_insert_iterator<Container>>
:
std::iterator<std::output_iterator_tag, typename Container::value_type>
{};
template<class Container>
struct output_iterator_traits<std::insert_iterator<Container>>
:
std::iterator<std::output_iterator_tag, typename Container::value_type>
{};
template <class T, class charT, class traits>
struct output_iterator_traits<std::ostream_iterator<T, charT, traits>>
:
std::iterator<std::output_iterator_tag, T>
{};
template <class charT, class traits>
struct output_iterator_traits<std::ostreambuf_iterator<charT, traits>>
:
std::iterator<std::output_iterator_tag, charT>
{};
} // namespace xstd
非专业版本仅继承自std::iterator_traits<T>
,但是对于<iterator>
和<memory>
标头中定义的6个输出迭代器,专业化继承自std::iterator<std::output_iterator_tag, V>
,其中V
是作为迭代器的operator=(const V&)
。
对于插入迭代器,这分别对应于typename Container::value_type
,对于原始存储迭代器,其对应于T
,对于ostream
和ostreambuf
迭代器,分别对应于T
和charT
。
形式的通用算法
template<class InputIt, class OutputIt>
auto my_fancy_algorithm(InputIt first, InputIt last, OutputIt dest)
{
using T = typename xstd::output_iterator_traits<OutputIt>::value_type;
for (; first != last; ++first) {
// ... construct arguments from *first
*dest++ = T{ /* arguments */ };
}
}
然后将透明地使用原始指针和标准库的输出迭代器。
您可以只使用它具有的container_type
:
container_type
#include <iterator>
#include <type_traits>
#include <vector>
template<typename T>
struct outit_v {
using container_type = typename T::container_type;
using value_type = typename container_type::value_type;
};
int main()
{
std::vector<int> v;
auto it = std::back_inserter(v);
static_assert(std::is_same<outit_v<decltype(it)>::value_type, int>::value, "");
}