Skip to content

Commit 3f27f57

Browse files
authored
[ADT] Use adl_begin/end with to_vector functions (llvm#164823)
Similar to other code in ADT / STLExtras, allow `to_vector` to work with ranges that require ADL to find the begin/end iterators.
1 parent e665f24 commit 3f27f57

File tree

2 files changed

+36
-6
lines changed

2 files changed

+36
-6
lines changed

llvm/include/llvm/ADT/SmallVector.h

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@
1414
#ifndef LLVM_ADT_SMALLVECTOR_H
1515
#define LLVM_ADT_SMALLVECTOR_H
1616

17+
#include "llvm/ADT/ADL.h"
1718
#include "llvm/ADT/DenseMapInfo.h"
1819
#include "llvm/Support/Compiler.h"
1920
#include <algorithm>
@@ -1295,28 +1296,27 @@ inline size_t capacity_in_bytes(const SmallVector<T, N> &X) {
12951296

12961297
template <typename RangeType>
12971298
using ValueTypeFromRangeType =
1298-
std::remove_const_t<std::remove_reference_t<decltype(*std::begin(
1299-
std::declval<RangeType &>()))>>;
1299+
std::remove_const_t<detail::ValueOfRange<RangeType>>;
13001300

13011301
/// Given a range of type R, iterate the entire range and return a
13021302
/// SmallVector with elements of the vector. This is useful, for example,
13031303
/// when you want to iterate a range and then sort the results.
13041304
template <unsigned Size, typename R>
13051305
SmallVector<ValueTypeFromRangeType<R>, Size> to_vector(R &&Range) {
1306-
return {std::begin(Range), std::end(Range)};
1306+
return {adl_begin(Range), adl_end(Range)};
13071307
}
13081308
template <typename R>
13091309
SmallVector<ValueTypeFromRangeType<R>> to_vector(R &&Range) {
1310-
return {std::begin(Range), std::end(Range)};
1310+
return {adl_begin(Range), adl_end(Range)};
13111311
}
13121312

13131313
template <typename Out, unsigned Size, typename R>
13141314
SmallVector<Out, Size> to_vector_of(R &&Range) {
1315-
return {std::begin(Range), std::end(Range)};
1315+
return {adl_begin(Range), adl_end(Range)};
13161316
}
13171317

13181318
template <typename Out, typename R> SmallVector<Out> to_vector_of(R &&Range) {
1319-
return {std::begin(Range), std::end(Range)};
1319+
return {adl_begin(Range), adl_end(Range)};
13201320
}
13211321

13221322
// Explicit instantiations

llvm/unittests/ADT/SmallVectorTest.cpp

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@
1313
#include "llvm/ADT/SmallVector.h"
1414
#include "llvm/ADT/ArrayRef.h"
1515
#include "llvm/Support/Compiler.h"
16+
#include "gmock/gmock.h"
1617
#include "gtest/gtest.h"
1718
#include <list>
1819
#include <stdarg.h>
@@ -1156,6 +1157,17 @@ TEST(SmallVectorTest, InitializerList) {
11561157
EXPECT_TRUE(ArrayRef(V2).equals({4, 5, 3, 2}));
11571158
}
11581159

1160+
namespace namespace_with_adl {
1161+
struct MyVector {
1162+
std::vector<int> data;
1163+
};
1164+
1165+
std::vector<int>::const_iterator begin(const MyVector &V) {
1166+
return V.data.begin();
1167+
}
1168+
std::vector<int>::const_iterator end(const MyVector &V) { return V.data.end(); }
1169+
} // namespace namespace_with_adl
1170+
11591171
TEST(SmallVectorTest, ToVector) {
11601172
{
11611173
std::vector<char> v = {'a', 'b', 'c'};
@@ -1173,6 +1185,15 @@ TEST(SmallVectorTest, ToVector) {
11731185
for (size_t I = 0; I < v.size(); ++I)
11741186
EXPECT_EQ(v[I], Vector[I]);
11751187
}
1188+
{
1189+
// Check that to_vector and to_vector_of work with types that require ADL
1190+
// for being/end iterators.
1191+
namespace_with_adl::MyVector V = {{1, 2, 3}};
1192+
auto IntVector = to_vector(V);
1193+
EXPECT_THAT(IntVector, testing::ElementsAre(1, 2, 3));
1194+
IntVector = to_vector<3>(V);
1195+
EXPECT_THAT(IntVector, testing::ElementsAre(1, 2, 3));
1196+
}
11761197
}
11771198

11781199
struct To {
@@ -1231,6 +1252,15 @@ TEST(SmallVectorTest, ToVectorOf) {
12311252
for (size_t I = 0; I < StdVector.size(); ++I)
12321253
EXPECT_EQ(StdVector[I], Vector[I]);
12331254
}
1255+
{
1256+
// Check that to_vector works with types that require ADL for being/end
1257+
// iterators.
1258+
namespace_with_adl::MyVector V = {{1, 2, 3}};
1259+
auto UnsignedVector = to_vector_of<unsigned>(V);
1260+
EXPECT_THAT(UnsignedVector, testing::ElementsAre(1u, 2u, 3u));
1261+
UnsignedVector = to_vector_of<unsigned, 3>(V);
1262+
EXPECT_THAT(UnsignedVector, testing::ElementsAre(1u, 2u, 3u));
1263+
}
12341264
}
12351265

12361266
template <class VectorT>

0 commit comments

Comments
 (0)