Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D106708 Diff 361336 libcxx/test/std/ranges/range.req/range.range/range_size_t.compile.pass.cpp

Changeset View

Standalone View

libcxx/test/std/ranges/range.req/range.range/range_size_t.compile.pass.cpp

This file was added.

				//===----------------------------------------------------------------------===//
				//
				// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
				// See https://llvm.org/LICENSE.txt for license information.
				// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
				//
				//===----------------------------------------------------------------------===//

				// UNSUPPORTED: c++03, c++11, c++14, c++17
				// UNSUPPORTED: libcpp-no-concepts
				// UNSUPPORTED: gcc-10

				// template<sized_range R>
				// using range_size_t = decltype(ranges::size(declval<R&>()));

				#include <ranges>
				#include <concepts>

				#include "test_iterators.h"
				#include "test_range.h"

				struct Range {
				cpp17_input_iterator<int*> begin();
				sentinel end();
				short size() const;
				};

				static_assert(std::same_as<std::ranges::range_size_t<Range>, short>);
				QuuxplusoneUnsubmitted Done Reply Inline Actions Please add SFINAE-friendliness tests. I recommend replacing this whole file with: template<class T> concept has_size_t = requires { typename std::ranges::range_size_t<T>; }; struct A { int begin(); int end(); short size(); }; static_assert(std::same_as<std::ranges::range_size_t<A>, short>); static_assert(std::same_as<std::ranges::range_size_t<A&>, short>); static_assert(std::same_as<std::ranges::range_size_t<A&&>, short>); static_assert(!has_size_t<const A>); static_assert(!has_size_t<const A&>); static_assert(!has_size_t<const A&&>); struct B { int begin(); int end(); }; static_assert(std::same_as<std::ranges::range_size_t<B>, std::size_t>); static_assert(std::same_as<std::ranges::range_size_t<B&>, std::size_t>); static_assert(std::same_as<std::ranges::range_size_t<B&&>, std::size_t>); static_assert(!has_size_t<const B>); static_assert(!has_size_t<const B&>); static_assert(!has_size_t<const B&&>); struct C { bidirectional_iterator<int> begin(); bidirectional_iterator<int> end(); }; static_assert(!has_size_t<C>); Quuxplusone: Please add SFINAE-friendliness tests. I recommend replacing this whole file with: ```…
				MordanteUnsubmitted Done Reply Inline Actions +1 Mordante: +1