Skip to content

[lib] Replace uses of add_meow_t with plain cv-qualifiers #7851

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

[lib] Replace uses of add_meow_t with plain cv-qualifiers #7851

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6824e11
[lib] Replace uses of `add_meow_t` with plain cv-qualifiers
frederick-vs-ja Apr 24, 2025
a820113
[utility.as.const] Revert changes of `as_const`
frederick-vs-ja Apr 24, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions source/containers.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11400,7 +11400,7 @@
tuple_element_t<1, @\exposid{iter-value-type}@<InputIterator>>; // \expos
template<class InputIterator>
using @\placeholder{iter-to-alloc-type}@ = pair<
add_const_t<tuple_element_t<0, @\exposid{iter-value-type}@<InputIterator>>>,
const tuple_element_t<0, @\exposid{iter-value-type}@<InputIterator>>,
tuple_element_t<1, @\exposid{iter-value-type}@<InputIterator>>>; // \expos
template<ranges::@\libconcept{input_range}@ Range>
using @\exposid{range-key-type}@ =
Expand All @@ -11409,7 +11409,7 @@
using @\exposid{range-mapped-type}@ = typename ranges::range_value_t<Range>::second_type; // \expos
template<ranges::@\libconcept{input_range}@ Range>
using @\exposid{range-to-alloc-type}@ =
pair<add_const_t<typename ranges::range_value_t<Range>::first_type>,
pair<const typename ranges::range_value_t<Range>::first_type,
typename ranges::range_value_t<Range>::second_type>; // \expos
\end{codeblock}

Expand Down
8 changes: 4 additions & 4 deletions source/future.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -561,8 +561,8 @@
the \oldconcept{TransformationTrait} requirements
with a member typedef \tcode{type} that names the following type:
\begin{itemize}
\item for the first specialization, \tcode{add_volatile_t<TE>}, and
\item for the second specialization, \tcode{add_cv_t<TE>}.
\item for the first specialization, \tcode{volatile TE}, and
\item for the second specialization, \tcode{const volatile TE}.
\end{itemize}

\pnum
Expand Down Expand Up @@ -616,8 +616,8 @@
the \oldconcept{TransformationTrait} requirements
with a member typedef \tcode{type} that names the following type:
\begin{itemize}
\item for the first specialization, \tcode{add_volatile_t<VA::type>}, and
\item for the second specialization, \tcode{add_cv_t<VA::type>}.
\item for the first specialization, \tcode{volatile VA::type}, and
\item for the second specialization, \tcode{const volatile VA::type}.
\end{itemize}
\end{itemdescr}

Expand Down
4 changes: 2 additions & 2 deletions source/numerics.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12594,7 +12594,7 @@
class @\libglobal{scaled_accessor}@ {
public:
using element_type =
add_const_t<decltype(declval<ScalingFactor>() * declval<NestedAccessor::element_type>())>;
const decltype(declval<ScalingFactor>() * declval<NestedAccessor::element_type>());
using reference = remove_const_t<element_type>;
using data_handle_type = NestedAccessor::data_handle_type;
using offset_policy = scaled_accessor<ScalingFactor, NestedAccessor::offset_policy>;
Expand Down Expand Up @@ -12766,7 +12766,7 @@
class @\libglobal{conjugated_accessor}@ {
public:
using element_type =
add_const_t<decltype(@\exposid{conj-if-needed}@(declval<NestedAccessor::element_type>()))>;
const decltype(@\exposid{conj-if-needed}@(declval<NestedAccessor::element_type>()));
using reference = remove_const_t<element_type>;
using data_handle_type = typename NestedAccessor::data_handle_type;
using offset_policy = conjugated_accessor<NestedAccessor::offset_policy>;
Expand Down
4 changes: 2 additions & 2 deletions source/utilities.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2849,7 +2849,7 @@
\pnum
Let \tcode{TE} denote \tcode{tuple_element_t<I, T>} of the cv-unqualified type \tcode{T}. Then
each specialization of the template meets the \oldconcept{TransformationTrait} requirements\iref{meta.rqmts}
with a member typedef \tcode{type} that names the type \tcode{add_const_t<TE>}.
with a member typedef \tcode{type} that names the type \tcode{const TE}.

\pnum
In addition to being available via inclusion of the \libheader{tuple} header,
Expand Down Expand Up @@ -5937,7 +5937,7 @@
Let \tcode{VA} denote \tcode{variant_alternative<I, T>} of the
cv-unqualified type \tcode{T}. Then each specialization of the template
meets the \oldconcept{TransformationTrait} requirements\iref{meta.rqmts} with a
member typedef \tcode{type} that names the type \tcode{add_const_t<VA::type>}.
member typedef \tcode{type} that names the type \tcode{const VA::type}.
\end{itemdescr}

\indexlibraryglobal{variant_alternative}%
Expand Down
Loading