aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Wakely <jwakely@redhat.com>2021-09-29 21:19:36 +0100
committerJonathan Wakely <jwakely@redhat.com>2021-10-12 16:05:15 +0100
commitd9dfd7ad3e0196f60a3fc6df6d65a40fb905409f (patch)
tree55bf8c78372edea5c5bf0cccecacd06b537d4b07
parent8226f6383a347371490897dba0383a7bc7082374 (diff)
downloadgcc-d9dfd7ad3e0196f60a3fc6df6d65a40fb905409f.zip
gcc-d9dfd7ad3e0196f60a3fc6df6d65a40fb905409f.tar.gz
gcc-d9dfd7ad3e0196f60a3fc6df6d65a40fb905409f.tar.bz2
libstdc++: Improve diagnostics for misuses of output iterators
This adds deleted overloads so that the errors for invalid uses of std::advance and std::distance are easier to understand (see for example PR 102181). libstdc++-v3/ChangeLog: * include/bits/stl_iterator_base_funcs.h (__advance): Add deleted overload to improve diagnostics. (__distance): Likewise.
-rw-r--r--libstdc++-v3/include/bits/stl_iterator_base_funcs.h14
1 files changed, 14 insertions, 0 deletions
diff --git a/libstdc++-v3/include/bits/stl_iterator_base_funcs.h b/libstdc++-v3/include/bits/stl_iterator_base_funcs.h
index e5afab7..fc6e988 100644
--- a/libstdc++-v3/include/bits/stl_iterator_base_funcs.h
+++ b/libstdc++-v3/include/bits/stl_iterator_base_funcs.h
@@ -119,6 +119,13 @@ _GLIBCXX_END_NAMESPACE_CONTAINER
input_iterator_tag);
#endif
+#if __cplusplus >= 201103L
+ // Give better error if std::distance called with a non-Cpp17InputIterator.
+ template<typename _OutputIterator>
+ void
+ __distance(_OutputIterator, _OutputIterator, output_iterator_tag) = delete;
+#endif
+
/**
* @brief A generalization of pointer arithmetic.
* @param __first An input iterator.
@@ -186,6 +193,13 @@ _GLIBCXX_END_NAMESPACE_CONTAINER
__i += __n;
}
+#if __cplusplus >= 201103L
+ // Give better error if std::advance called with a non-Cpp17InputIterator.
+ template<typename _OutputIterator, typename _Distance>
+ void
+ __advance(_OutputIterator&, _Distance, output_iterator_tag) = delete;
+#endif
+
/**
* @brief A generalization of pointer arithmetic.
* @param __i An input iterator.