27.11 Specialized <memory> algorithms[specialized.algorithms] C++N4910:2022 (665) p1261.cpp

はじめに(Introduction)

N4910 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/n4910.pdf

n4910は、ISO/IEC JTC1 SC22 WG21の作業原案(Working Draft)です。
公式のISO/IEC 14882原本ではありません。
ISO/IEC JTC1 SC22 WG21では、可能な限り作業文書を公開し、幅広い意見を求めています。
一連の記事はコード断片をコンパイルできる形にする方法を検討してコンパイル、リンク、実行して、規格案の原文と処理系(g++, Clang++)との違いを確認し、技術内容を検討し、ISO/IEC JTC1 SC22 WG21にフィードバックするために用います。
また、CERT C++, MISRA C++等のコーディング標準のコード断片をコンパイルする際の参考にさせていただこうと考えています。CERT C++, MISRA C++が標準化の動きとの時間的なずれがあれば確認できれば幸いです。また、boostライブラリとの関連、Linux OS, TOPPERSカーネル、g++(GCC), clang++(LLVM）との関係も調査中です。
何か、抜け漏れ、耳より情報がありましたらおしらせくださると幸いです。

<この項は書きかけです。順次追記します。>

背景(back ground)

C/C++でコンパイルエラーが出ると、途方にくれることがしばしばあります。
何回かに１回は、該当するエラーが検索できます。
ただ、条件が違っていて、そこでの修正方法では目的を達成しないこともしばしばです。いろいろな条件のコンパイルエラーとその対応方法について、広く記録することによって、いつか同じエラーに遭遇した時にやくに立つことを目指しています。

この半年の間で、三度、自分のネットでの記録に助けられたことがあります。
また過去に解決できなかった記録を１０種類以上、最近になって解決できたことがあります。それは、主に次の３つの情報に基づいています。

cpprefjp - C++日本語リファレンス

コンパイラの実装状況

また
https://researchmap.jp/joub9b3my-1797580/#_1797580
に記載したサイトのお世話になっています。

作業方針(sequence)

Clang++では-std=c++03, C++2bの2種類
g++では-std=c++03, c++2bの２種類
でコンパイルし、

１）コンパイルエラーを収集する。
２）コンパイルエラーをなくす方法を検討する。
コンパイルエラーになる例を示すだけが目的のコードは、コンパイルエラーをなくすのではなく、コンパイルエラーの種類を収集するだけにする。
文法を示すのが目的のコード場合に、コンパイルエラーをなくすのに手間がかかる場合は、順次作業します。
３）リンクエラーをなくす方法を検討する。
文法を示すのが目的のコード場合に、リンクエラーをなくすのに手間がかかる場合は、順次作業します。
４）意味のある出力を作る。
コンパイル、リンクが通っても、意味のある出力を示そうとすると、コンパイル・リンクエラーが出て収拾できそうにない場合がある。順次作業します。

１）だけのものから４）まで進んだものと色々ある状態です。一歩でも前に進むご助言をお待ちしています。「検討事項」の欄に現状を記録するようにしています。

C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list

C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list

C++N4606, 2016符号断片編纂一覧(example code compile list)

C++N4606, 2016 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

C++N3242, 2011 sample code compile list on clang++ and g++

編纂器(Compiler)

clang++ --version

Debian clang version 14.0.5-++20220610033153+c12386ae247c-1~exp1~20220610153237.151
Target: x86_64-pc-linux-gnu, Thread model: posix, InstalledDir: /usr/bin

g++- --version

g++ (GCC) 12.1.0 Copyright (C) 2022 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

27.11 Specialized algorithms[specialized.algorithms]C++N4910:2022 (665) p1261.cpp

算譜(source code)

p1261.cpp

// C++N4910 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/n4910.pdf
const char * n4910 = " 27.11 Specialized <memory> algorithms[specialized.algorithms]C++N4910:2022 (665) p1261.cpp";
// Debian clang version 14.0.5-++20220610033153+c12386ae247c-
// g++ (GCC) 12.1.0 Copyright (C) 2022 Free Software Foundation, Inc.
// Edited by Dr. OGAWA Kiyoshi. Compile procedure and results record.
// C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
// https://qiita.com/kaizen_nagoya/items/fc957ddddd402004bb91

#include "N4910.h"

using namespace std;

// 27.11.1 General [specialized.algorithms.general]
//  The contents specified in 27.11 are declared in the header <memory> (20.2.2).
//  Unless otherwise specified, if an exception is thrown in the following algorithms, objects constructed by a placement new-expression (7.6.2.8) are destroyed in an unspecified order before allowing the exception to propagate.
//  [Note 1: When invoked on ranges of potentially-overlapping subobjects (6.7.2), the algorithms specified in 27.11 result in undefined behavior.
//  Some algorithms specified in 27.11 make use of the exposition-only function voidify :
template<class T>
constexpr void* voidify(T& obj) noexcept {
    return const_cast<void*>(static_cast<const volatile void*>(addressof(obj)));
}
// 27.11.2 Special memory concepts [special.mem.concepts]
//  Some algorithms in this subclause are constrained with the following exposition-only concepts:
template<class I>
concept nothrow-input-iterator = // exposition only
// [Note 1: This concept allows some input_iterator (25.3.4.9) operations to throw exceptions.
    template<class S, class I>
concept nothrow-sentinel-for = sentinel_for<S, I>; // exposition only
// Types S and I model nothrow-sentinel-for only if no exceptions are thrown from copy construction, move construction, copy assignment, move assignment, or comparisons between valid values of type I and S.
// [Note 2: This concept allows some sentinel_for (25.3.4.7) operations to throw exceptions.
template<class R>
concept nothrow-input-range = // exposition only
    range<R> &&
    nothrow-input-iterator<iterator_t<R>> && nothrow-sentinel-for<sentinel_t<R>, iterator_t<R>>;
// A type R models nothrow-input-range only if no exceptions are thrown from calls to ranges::begin and ranges::end on an object of type R.
template<class I>
concept nothrow-forward-iterator = // exposition only
    nothrow-input-iterator<I> && forward_iterator<I> && nothrow-sentinel-for<I, I>;
// [Note 3: This concept allows some forward_iterator (25.3.4.11) operations to throw exceptions.
template<class R>
concept nothrow-forward-range = // exposition only
    nothrow-input-range<R> && nothrow-forward-iterator <iterator_t<R>>;
// 27.11.3 uninitialized_default_construct [uninitialized.construct.default]
template<class  NoThrowForwardIterator>
void uninitialized_default_construct(NoThrowForwardIterator first, NoThrowForwardIterator last);
// Effects: Equivalent to:
for (; first != last; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type;
namespace ranges {
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
requires default_initializable<iter_value_t<I>>
        I uninitialized_default_construct(I first, S last);
template<nothrow-forward-range R>
requires default_initializable<range_value_t<R>>
        borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
}
// Effects: Equivalent to:
for (; first != last; ++first)
    ::new (voidify(*first)) remove_reference_t<iter_reference_t<I>>;
return first;
// Effects: Equivalent to:
for (; first != last; ++first)
    ::new (voidify(*first)) remove_reference_t<iter_reference_t<I>>();
return first;
template<class NoThrowForwardIterator, class Size>
NoThrowForwardIterator uninitialized_default_construct_n(NoThrowForwardIterator first, Size n);
// Effects: Equivalent to:
for (; n > 0; (void)++first, --n) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type;
return first;
namespace ranges {
template<nothrow-forward-iterator I>
requires default_initializable<iter_value_t<I>>
        I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
}
// Effects: Equivalent to:
return uninitialized_default_construct(counted_iterator(first, n),
                                       default_sentinel).base();
// 27.11.4 uninitialized_value_construct [uninitialized.construct.value]
template<class NoThrowForwardIterator>
void uninitialized_value_construct(NoThrowForwardIterator first, NoThrowForwardIterator last);
// Effects: Equivalent to:
for (; first != last; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type();
namespace ranges {
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
requires default_initializable<iter_value_t<I>>
        I uninitialized_value_construct(I first, S last);
template<nothrow-forward-range R>
requires default_initializable<range_value_t<R>>
        borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
}
template<class NoThrowForwardIterator, class Size>
NoThrowForwardIterator uninitialized_value_construct_n(NoThrowForwardIterator first, Size n);
// Effects: Equivalent to:
for (; n > 0; (void)++first, --n) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type();
return first;
namespace ranges {
template<nothrow-forward-iterator I>
requires default_initializable<iter_value_t<I>>
        I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
}
// Effects: Equivalent to:
return uninitialized_value_construct(counted_iterator(first, n),
                                     default_sentinel).base();
// 27.11.5 uninitialized_copy
template<class InputIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
}
uninitialized_copy(IR&& in_range, OR&& out_range);
// Preconditions: [ofirst, olast) does not overlap with [ifirst, ilast). // Effects: Equivalent to:
for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
::new (voidify(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst);
        return {std::move(ifirst), ofirst};
        NoThrowForwardIterator result);
// Preconditions: result + [0, (last - first)) does not overlap with [first, last). Effects: Equivalent to:
for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(*first);
// Returns: result.
namespace ranges {
template<input_iterator I, sentinel_for<I> S1,
         nothrow-forward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
                 uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
template<input_range IR, nothrow-forward-range OR>
requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
        uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
        template<class InputIterator, class Size, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy_n(InputIterator first, Size n,
        NoThrowForwardIterator result);
// Preconditions: result + [0, n) does not overlap with first + [0, n).
// Effects: Equivalent to:
for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(*first);
// Returns: result.
namespace ranges {
template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
        uninitialized_copy_n_result<I, O>
        uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
// [uninitialized.copy]
}
// Preconditions: [ofirst, olast) does not overlap with ifirst + [0, n).
// Effects: Equivalent to:
auto t = uninitialized_copy(counted_iterator(ifirst, n),
                            default_sentinel, ofirst, olast);
return {std::move(t.in).base(), t.out};
}
uninitialized_move(IR&& in_range, OR&& out_range);
// Preconditions: [ofirst, olast) does not overlap with [ifirst, ilast).
// Effects: Equivalent to:
for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
    remove_reference_t<iter_reference_t<O>>(ranges::iter_move(ifirst));
return {std::move(ifirst), ofirst};
// [Note 1: If an exception is thrown, some objects in the range [first,last) are left in a valid, but unspecified state.
// 27.11.6 uninitialized_move [uninitialized.move]
template<class InputIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_move(InputIterator first, InputIterator last,
        NoThrowForwardIterator result);
// Preconditions: result + [0, (last - first)) does not overlap with [first, last). Effects: Equivalent to:
for (; first != last; (void)++result, ++first) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(std::move(*first));
return result;
namespace ranges {
template<input_iterator I, sentinel_for<I> S1,
         nothrow-forward-iterator O, nothrow-sentinel-for<O> S2>
requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
        uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
template<input_range IR, nothrow-forward-range OR>
requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
        uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
        template<class InputIterator, class Size, class NoThrowForwardIterator>
pair<InputIterator, NoThrowForwardIterator>
uninitialized_move_n(InputIterator first, Size n, NoThrowForwardIterator result);
// Preconditions: result + [0, n) does not overlap with first + [0, n).
// Effects: Equivalent to:
for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(std::move(*first));
return {first, result};
namespace ranges {
template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
        uninitialized_move_n_result<I, O>
        uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
// Preconditions: [ofirst, olast) does not overlap with ifirst + [0, n).
// Effects: Equivalent to:
auto t = uninitialized_move(counted_iterator(ifirst, n),
                            default_sentinel, ofirst, olast);
return {std::move(t.in).base(), t.out};
// [Note 2 : If an exception is thrown, some objects in the range first + [0, n) are left in a valid but unspecified state.
// Effects: Equivalent to:
for (; first != last; ++first)
    ::new (voidify(*first)) remove_reference_t<iter_reference_t<I>>(x);
return first;
// Constraints: The expression ::new (declval<void*>()) T(declval<Args>()...) is well-formed when treated as an unevaluated operand (7.2.3).
// Effects: Equivalent to:
return ::new (voidify(*location)) T(std::forward<Args>(args)...);
// 27.11.7 uninitialized_fill [uninitialized.fill]
template<class NoThrowForwardIterator, class T>
void uninitialized_fill(NoThrowForwardIterator first, NoThrowForwardIterator last, const T& x);
// Effects: Equivalent to:
for (; first != last; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type(x);
namespace ranges {
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S, class T>
requires constructible_from<iter_value_t<I>, const T&>
I uninitialized_fill(I first, S last, const T& x);
template<nothrow-forward-range R, class T>
requires constructible_from<range_value_t<R>, const T&>
borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
}
template<class NoThrowForwardIterator, class Size, class T>
NoThrowForwardIterator uninitialized_fill_n(NoThrowForwardIterator first, Size n, const T& x);
// Effects: Equivalent to:
for (; n--; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type(x);
return first;
namespace ranges {
template<nothrow-forward-iterator I, class T>
requires constructible_from<iter_value_t<I>, const T&>
I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
}
// Effects: Equivalent to:
return uninitialized_fill(counted_iterator(first, n), default_sentinel, x).base();
// 27.11.8 construct_at [specialized.construct]
template<class T, class... Args>
constexpr T* construct_at(T* location, Args&&... args);
namespace ranges {
template<class T, class... Args>
constexpr T* construct_at(T* location, Args&&... args);
}
// Effects: — If T is an array type, equivalent to destroy(begin(*location), end(*location)). — Otherwise, equivalent to location->~T().
// Effects: Equivalent to:
for (; first != last; ++first)
    destroy_at(addressof(*first));
return first;
// 27.11.9 destroy [specialized.destroy]
template<class T>
constexpr void destroy_at(T* location);
namespace ranges {
template<destructible T>
constexpr void destroy_at(T* location) noexcept;
}
template<class NoThrowForwardIterator>
constexpr void destroy(NoThrowForwardIterator first, NoThrowForwardIterator last);
// Effects: Equivalent to:
for (; first != last; ++first)
    destroy_at(addressof(*first));
namespace ranges {
template<nothrow-input-iterator I, nothrow-sentinel-for<I> S>
requires destructible<iter_value_t<I>>
                                    constexpr I destroy(I first, S last) noexcept;
template<nothrow-input-range R>
requires destructible<range_value_t<R>>
                                     constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
}
template<class NoThrowForwardIterator, class Size>
constexpr NoThrowForwardIterator destroy_n(NoThrowForwardIterator first, Size n);
// Effects: Equivalent to:
for (; n > 0; (void)++first, --n)
    destroy_at(addressof(*first));
return first;
namespace ranges {
template<nothrow-input-iterator I>
requires destructible<iter_value_t<I>>
                                    constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
}
// Effects: Equivalent to:
return destroy(counted_iterator(first, n), default_sentinel).base();
int main() {
    cout  <<  n4910 << endl;
    return EXIT_SUCCESS;
}
root@8d37178807ec:/home/n4910# vi p1261.cpp
root@8d37178807ec:/home/n4910# astyle <  p1261.cpp
// C++N4910 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/n4910.pdf
const char * n4910 = " 27.11 Specialized <memory> algorithms[specialized.algorithms]C++N4910:2022 (665) p1261.cpp";
// Debian clang version 14.0.5-++20220610033153+c12386ae247c-
// g++ (GCC) 12.1.0 Copyright (C) 2022 Free Software Foundation, Inc.
// Edited by Dr. OGAWA Kiyoshi. Compile procedure and results record.
// C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
// https://qiita.com/kaizen_nagoya/items/fc957ddddd402004bb91

#include "N4910.h"

using namespace std;

// 27.11.1 General [specialized.algorithms.general]
//  The contents specified in 27.11 are declared in the header <memory> (20.2.2).
//  Unless otherwise specified, if an exception is thrown in the following algorithms, objects constructed by a placement new-expression (7.6.2.8) are destroyed in an unspecified order before allowing the exception to propagate.
//  [Note 1: When invoked on ranges of potentially-overlapping subobjects (6.7.2), the algorithms specified in 27.11 result in undefined behavior.
//  Some algorithms specified in 27.11 make use of the exposition-only function voidify :
template<class T>
constexpr void* voidify(T& obj) noexcept {
    return const_cast<void*>(static_cast<const volatile void*>(addressof(obj)));
}
// 27.11.2 Special memory concepts [special.mem.concepts]
//  Some algorithms in this subclause are constrained with the following exposition-only concepts:
template<class I>
concept nothrow-input-iterator = // exposition only
// [Note 1: This concept allows some input_iterator (25.3.4.9) operations to throw exceptions.
    template<class S, class I>
concept nothrow-sentinel-for = sentinel_for<S, I>; // exposition only
// Types S and I model nothrow-sentinel-for only if no exceptions are thrown from copy construction, move construction, copy assignment, move assignment, or comparisons between valid values of type I and S.
// [Note 2: This concept allows some sentinel_for (25.3.4.7) operations to throw exceptions.
template<class R>
concept nothrow-input-range = // exposition only
    range<R> &&
    nothrow-input-iterator<iterator_t<R>> && nothrow-sentinel-for<sentinel_t<R>, iterator_t<R>>;
// A type R models nothrow-input-range only if no exceptions are thrown from calls to ranges::begin and ranges::end on an object of type R.
template<class I>
concept nothrow-forward-iterator = // exposition only
    nothrow-input-iterator<I> && forward_iterator<I> && nothrow-sentinel-for<I, I>;
// [Note 3: This concept allows some forward_iterator (25.3.4.11) operations to throw exceptions.
template<class R>
concept nothrow-forward-range = // exposition only
    nothrow-input-range<R> && nothrow-forward-iterator <iterator_t<R>>;
// 27.11.3 uninitialized_default_construct [uninitialized.construct.default]
template<class  NoThrowForwardIterator>
void uninitialized_default_construct(NoThrowForwardIterator first, NoThrowForwardIterator last);
// Effects: Equivalent to:
for (; first != last; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type;
namespace ranges {
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
requires default_initializable<iter_value_t<I>>
        I uninitialized_default_construct(I first, S last);
template<nothrow-forward-range R>
requires default_initializable<range_value_t<R>>
        borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
}
// Effects: Equivalent to:
for (; first != last; ++first)
    ::new (voidify(*first)) remove_reference_t<iter_reference_t<I>>;
return first;
// Effects: Equivalent to:
for (; first != last; ++first)
    ::new (voidify(*first)) remove_reference_t<iter_reference_t<I>>();
return first;
template<class NoThrowForwardIterator, class Size>
NoThrowForwardIterator uninitialized_default_construct_n(NoThrowForwardIterator first, Size n);
// Effects: Equivalent to:
for (; n > 0; (void)++first, --n) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type;
return first;
namespace ranges {
template<nothrow-forward-iterator I>
requires default_initializable<iter_value_t<I>>
        I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
}
// Effects: Equivalent to:
return uninitialized_default_construct(counted_iterator(first, n),
                                       default_sentinel).base();
// 27.11.4 uninitialized_value_construct [uninitialized.construct.value]
template<class NoThrowForwardIterator>
void uninitialized_value_construct(NoThrowForwardIterator first, NoThrowForwardIterator last);
// Effects: Equivalent to:
for (; first != last; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type();
namespace ranges {
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
requires default_initializable<iter_value_t<I>>
        I uninitialized_value_construct(I first, S last);
template<nothrow-forward-range R>
requires default_initializable<range_value_t<R>>
        borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
}
template<class NoThrowForwardIterator, class Size>
NoThrowForwardIterator uninitialized_value_construct_n(NoThrowForwardIterator first, Size n);
// Effects: Equivalent to:
for (; n > 0; (void)++first, --n) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type();
return first;
namespace ranges {
template<nothrow-forward-iterator I>
requires default_initializable<iter_value_t<I>>
        I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
}
// Effects: Equivalent to:
return uninitialized_value_construct(counted_iterator(first, n),
                                     default_sentinel).base();
// 27.11.5 uninitialized_copy
template<class InputIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
        uninitialized_copy(IR&& in_range, OR&& out_range);
// Preconditions: [ofirst, olast) does not overlap with [ifirst, ilast). // Effects: Equivalent to:
        for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
        ::new (voidify(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst);
        return {std::move(ifirst), ofirst};
        NoThrowForwardIterator result);
// Preconditions: result + [0, (last - first)) does not overlap with [first, last). Effects: Equivalent to:
for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(*first);
// Returns: result.
namespace ranges {
template<input_iterator I, sentinel_for<I> S1,
         nothrow-forward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
                 uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
template<input_range IR, nothrow-forward-range OR>
requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
        uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
        template<class InputIterator, class Size, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy_n(InputIterator first, Size n,
        NoThrowForwardIterator result);
}
// Preconditions: result + [0, n) does not overlap with first + [0, n).
// Effects: Equivalent to:
for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(*first);
// Returns: result.
namespace ranges {
template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
        uninitialized_copy_n_result<I, O>
        uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
// [uninitialized.copy]
}
// Preconditions: [ofirst, olast) does not overlap with ifirst + [0, n).
// Effects: Equivalent to:
auto t = uninitialized_copy(counted_iterator(ifirst, n),
                            default_sentinel, ofirst, olast);
return {std::move(t.in).base(), t.out};
uninitialized_move(IR&& in_range, OR&& out_range);
// Preconditions: [ofirst, olast) does not overlap with [ifirst, ilast).
// Effects: Equivalent to:
for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
    remove_reference_t<iter_reference_t<O>>(ranges::iter_move(ifirst));
return {std::move(ifirst), ofirst};
// [Note 1: If an exception is thrown, some objects in the range [first,last) are left in a valid, but unspecified state.
// 27.11.6 uninitialized_move [uninitialized.move]
template<class InputIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_move(InputIterator first, InputIterator last,
        NoThrowForwardIterator result);
// Preconditions: result + [0, (last - first)) does not overlap with [first, last). Effects: Equivalent to:
for (; first != last; (void)++result, ++first) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(std::move(*first));
return result;
namespace ranges {
template<input_iterator I, sentinel_for<I> S1,
         nothrow-forward-iterator O, nothrow-sentinel-for<O> S2>
requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
        uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
template<input_range IR, nothrow-forward-range OR>
requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
        uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
        template<class InputIterator, class Size, class NoThrowForwardIterator>
pair<InputIterator, NoThrowForwardIterator>
uninitialized_move_n(InputIterator first, Size n, NoThrowForwardIterator result);
}
// Preconditions: result + [0, n) does not overlap with first + [0, n).
// Effects: Equivalent to:
for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
    typename iterator_traits<NoThrowForwardIterator>::value_type(std::move(*first));
return {first, result};
namespace ranges {
template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
        uninitialized_move_n_result<I, O>
        uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
// Preconditions: [ofirst, olast) does not overlap with ifirst + [0, n).
// Effects: Equivalent to:
auto t = uninitialized_move(counted_iterator(ifirst, n),
                            default_sentinel, ofirst, olast);
return {std::move(t.in).base(), t.out};
// [Note 2 : If an exception is thrown, some objects in the range first + [0, n) are left in a valid but unspecified state.
// Effects: Equivalent to:
for (; first != last; ++first)
    ::new (voidify(*first)) remove_reference_t<iter_reference_t<I>>(x);
return first;
// Constraints: The expression ::new (declval<void*>()) T(declval<Args>()...) is well-formed when treated as an unevaluated operand (7.2.3).
// Effects: Equivalent to:
return ::new (voidify(*location)) T(std::forward<Args>(args)...);
// 27.11.7 uninitialized_fill [uninitialized.fill]
template<class NoThrowForwardIterator, class T>
void uninitialized_fill(NoThrowForwardIterator first, NoThrowForwardIterator last, const T& x);
// Effects: Equivalent to:
for (; first != last; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type(x);
namespace ranges {
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S, class T>
requires constructible_from<iter_value_t<I>, const T&>
I uninitialized_fill(I first, S last, const T& x);
template<nothrow-forward-range R, class T>
requires constructible_from<range_value_t<R>, const T&>
borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
}
template<class NoThrowForwardIterator, class Size, class T>
NoThrowForwardIterator uninitialized_fill_n(NoThrowForwardIterator first, Size n, const T& x);
// Effects: Equivalent to:
for (; n--; ++first) ::new (voidify(*first))
    typename iterator_traits<NoThrowForwardIterator>::value_type(x);
return first;
namespace ranges {
template<nothrow-forward-iterator I, class T>
requires constructible_from<iter_value_t<I>, const T&>
I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
}
// Effects: Equivalent to:
return uninitialized_fill(counted_iterator(first, n), default_sentinel, x).base();
// 27.11.8 construct_at [specialized.construct]
template<class T, class... Args>
constexpr T* construct_at(T* location, Args&&... args);
namespace ranges {
template<class T, class... Args>
constexpr T* construct_at(T* location, Args&&... args);
}
// Effects: — If T is an array type, equivalent to destroy(begin(*location), end(*location)). — Otherwise, equivalent to location->~T().
// Effects: Equivalent to:
for (; first != last; ++first)
    destroy_at(addressof(*first));
return first;
// 27.11.9 destroy [specialized.destroy]
template<class T>
constexpr void destroy_at(T* location);
namespace ranges {
template<destructible T>
constexpr void destroy_at(T* location) noexcept;
}
template<class NoThrowForwardIterator>
constexpr void destroy(NoThrowForwardIterator first, NoThrowForwardIterator last);
// Effects: Equivalent to:
for (; first != last; ++first)
    destroy_at(addressof(*first));
namespace ranges {
template<nothrow-input-iterator I, nothrow-sentinel-for<I> S>
requires destructible<iter_value_t<I>>
                                    constexpr I destroy(I first, S last) noexcept;
template<nothrow-input-range R>
requires destructible<range_value_t<R>>
                                     constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
}
template<class NoThrowForwardIterator, class Size>
constexpr NoThrowForwardIterator destroy_n(NoThrowForwardIterator first, Size n);
// Effects: Equivalent to:
for (; n > 0; (void)++first, --n)
    destroy_at(addressof(*first));
return first;
namespace ranges {
template<nothrow-input-iterator I>
requires destructible<iter_value_t<I>>
                                    constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
}
// Effects: Equivalent to:
return destroy(counted_iterator(first, n), default_sentinel).base();
int main() {
    cout  <<  n4910 << endl;
    return EXIT_SUCCESS;
}

編纂・実行結果(compile and go)

bash

$ clang++ p1261.cpp -std=03 -o p1261l -I. -Wall
In file included from p1261.cpp:10:
In file included from ./N4910.h:11:
In file included from /usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/atomic:38:
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/bits/c++0x_warning.h:32:2: error: This file requires compiler and library support for the ISO C++ 2011 standard. This support must be enabled with the -std=c++11 or -std=gnu++11 compiler options.
#error This file requires compiler and library support \
 ^
p1261.cpp:20:1: error: unknown type name 'constexpr'
constexpr void* voidify(T& obj) noexcept {
^
p1261.cpp:20:32: error: expected ';' at end of declaration
constexpr void* voidify(T& obj) noexcept {
                               ^
                               ;
p1261.cpp:20:33: error: C++ requires a type specifier for all declarations
constexpr void* voidify(T& obj) noexcept {
                                ^
p1261.cpp:20:41: error: expected ';' after top level declarator
constexpr void* voidify(T& obj) noexcept {
                                        ^
                                        ;
p1261.cpp:33:1: error: unknown type name 'concept'
concept nothrow-input-range = // exposition only
^
p1261.cpp:33:9: warning: variable templates are a C++14 extension [-Wc++14-extensions]
concept nothrow-input-range = // exposition only
        ^
p1261.cpp:33:16: error: expected ';' at end of declaration
concept nothrow-input-range = // exposition only
               ^
               ;
p1261.cpp:33:16: error: expected external declaration
p1261.cpp:33:17: error: unknown type name 'input'
concept nothrow-input-range = // exposition only
                ^
p1261.cpp:33:22: error: expected unqualified-id
concept nothrow-input-range = // exposition only
                     ^
p1261.cpp:38:1: error: unknown type name 'concept'
concept nothrow-forward-iterator = // exposition only
^
p1261.cpp:38:9: warning: variable templates are a C++14 extension [-Wc++14-extensions]
concept nothrow-forward-iterator = // exposition only
        ^
p1261.cpp:38:16: error: expected ';' at end of declaration
concept nothrow-forward-iterator = // exposition only
               ^
               ;
p1261.cpp:38:16: error: expected external declaration
p1261.cpp:38:17: error: unknown type name 'forward'
concept nothrow-forward-iterator = // exposition only
                ^
p1261.cpp:38:24: error: expected unqualified-id
concept nothrow-forward-iterator = // exposition only
                       ^
p1261.cpp:42:1: error: unknown type name 'concept'
concept nothrow-forward-range = // exposition only
^
p1261.cpp:42:9: warning: variable templates are a C++14 extension [-Wc++14-extensions]
concept nothrow-forward-range = // exposition only
        ^
p1261.cpp:42:16: error: expected ';' at end of declaration
concept nothrow-forward-range = // exposition only
               ^
               ;
p1261.cpp:42:16: error: expected external declaration
p1261.cpp:42:17: error: unknown type name 'forward'
concept nothrow-forward-range = // exposition only
                ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
3 warnings and 20 errors generated.
$ clang++ p1261.cpp -std=2b -o p1261l -I. -Wall
p1261.cpp:26:16: error: expected '='
concept nothrow-input-iterator = // exposition only
               ^
p1261.cpp:33:16: error: expected '='
concept nothrow-input-range = // exposition only
               ^
p1261.cpp:38:16: error: expected '='
concept nothrow-forward-iterator = // exposition only
               ^
p1261.cpp:42:16: error: expected '='
concept nothrow-forward-range = // exposition only
               ^
p1261.cpp:48:1: error: expected unqualified-id
for (; first != last; ++first) ::new (voidify(*first))
^
p1261.cpp:51:10: error: unknown type name 'nothrow'; did you mean 'nothrow_t'?
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
         ^~~~~~~
         nothrow_t
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/new:92:10: note: 'nothrow_t' declared here
  struct nothrow_t
         ^
p1261.cpp:51:17: error: expected ',' or '>' in template-parameter-list
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
                ^
p1261.cpp:51:36: error: expected unqualified-id
template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
                                   ^
p1261.cpp:54:10: error: unknown type name 'nothrow'; did you mean 'nothrow_t'?
template<nothrow-forward-range R>
         ^~~~~~~
         nothrow_t
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/new:92:10: note: 'nothrow_t' declared here
  struct nothrow_t
         ^
p1261.cpp:54:17: error: expected ',' or '>' in template-parameter-list
template<nothrow-forward-range R>
                ^
p1261.cpp:55:50: error: use of undeclared identifier 'R'
    requires default_initializable<range_value_t<R>>
                                                 ^
p1261.cpp:59:1: error: expected unqualified-id
for (; first != last; ++first)
^
p1261.cpp:61:8: error: expected unqualified-id
       return first;
       ^
p1261.cpp:63:1: error: expected unqualified-id
for (; first != last; ++first)
^
p1261.cpp:65:3: error: expected unqualified-id
  return first;
  ^
p1261.cpp:69:1: error: expected unqualified-id
for (; n > 0; (void)++first, --n) ::new (voidify(*first))
^
p1261.cpp:71:3: error: expected unqualified-id
  return first;
  ^
p1261.cpp:72:29: error: unknown type name 'nothrow'; did you mean 'nothrow_t'?
namespace ranges { template<nothrow-forward-iterator I>
                            ^~~~~~~
                            nothrow_t
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/new:92:10: note: 'nothrow_t' declared here
  struct nothrow_t
         ^
p1261.cpp:72:36: error: expected ',' or '>' in template-parameter-list
namespace ranges { template<nothrow-forward-iterator I>
                                   ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
20 errors generated.

$ g++ p1261.cpp -std=03 -o p1261g -I. -Wall
In file included from /usr/local/include/c++/12.1.0/atomic:38,
                 from N4910.h:11,
                 from p1261.cpp:10:
/usr/local/include/c++/12.1.0/bits/c++0x_warning.h:32:2: error: #error This file requires compiler and library support for the ISO C++ 2011 standard. This support must be enabled with the -std=c++11 or -std=gnu++11 compiler options.
   32 | #error This file requires compiler and library support \
      |  ^~~~~
p1261.cpp:20:1: warning: identifier 'constexpr' is a keyword in C++11 [-Wc++11-compat]
   20 | constexpr void* voidify(T& obj) noexcept {
      | ^~~~~~~~~
p1261.cpp:20:33: warning: identifier 'noexcept' is a keyword in C++11 [-Wc++11-compat]
   20 | constexpr void* voidify(T& obj) noexcept {
      |                                 ^~~~~~~~
p1261.cpp:20:1: error: 'constexpr' does not name a type
   20 | constexpr void* voidify(T& obj) noexcept {
      | ^~~~~~~~~
p1261.cpp:20:1: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:26:1: error: 'concept' does not name a type; did you mean 'const'?
   26 | concept nothrow-input-iterator = // exposition only
      | ^~~~~~~
      | const
p1261.cpp:26:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:33:1: error: 'concept' does not name a type; did you mean 'const'?
   33 | concept nothrow-input-range = // exposition only
      | ^~~~~~~
      | const
p1261.cpp:33:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:38:1: error: 'concept' does not name a type; did you mean 'const'?
   38 | concept nothrow-forward-iterator = // exposition only
      | ^~~~~~~
      | const
p1261.cpp:38:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:42:1: error: 'concept' does not name a type; did you mean 'const'?
   42 | concept nothrow-forward-range = // exposition only
      | ^~~~~~~
      | const
p1261.cpp:42:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:48:1: error: expected unqualified-id before 'for'
   48 | for (; first != last; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:48:8: error: 'first' does not name a type
   48 | for (; first != last; ++first) ::new (voidify(*first))
      |        ^~~~~
p1261.cpp:48:23: error: expected unqualified-id before '++' token
   48 | for (; first != last; ++first) ::new (voidify(*first))
      |                       ^~
p1261.cpp:51:10: error: 'nothrow' is not a type
   51 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |          ^~~~~~~
p1261.cpp:51:17: error: expected '>' before '-' token
   51 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |                 ^
p1261.cpp:52:5: error: 'requires' does not name a type
   52 |     requires default_initializable<iter_value_t<I>>
      |     ^~~~~~~~
p1261.cpp:52:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:54:10: error: 'nothrow' is not a type
   54 | template<nothrow-forward-range R>
      |          ^~~~~~~
p1261.cpp:54:17: error: expected '>' before '-' token
   54 | template<nothrow-forward-range R>
      |                 ^
p1261.cpp:55:5: error: 'requires' does not name a type
   55 |     requires default_initializable<range_value_t<R>>
      |     ^~~~~~~~
p1261.cpp:55:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:59:1: error: expected unqualified-id before 'for'
   59 | for (; first != last; ++first)
      | ^~~
p1261.cpp:59:8: error: 'first' does not name a type
   59 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:59:23: error: expected unqualified-id before '++' token
   59 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:61:8: error: expected unqualified-id before 'return'
   61 |        return first;
      |        ^~~~~~
p1261.cpp:63:1: error: expected unqualified-id before 'for'
   63 | for (; first != last; ++first)
      | ^~~
p1261.cpp:63:8: error: 'first' does not name a type
   63 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:63:23: error: expected unqualified-id before '++' token
   63 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:65:3: error: expected unqualified-id before 'return'
   65 |   return first;
      |   ^~~~~~
p1261.cpp:69:1: error: expected unqualified-id before 'for'
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      | ^~~
p1261.cpp:69:8: error: 'n' does not name a type
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |        ^
p1261.cpp:69:16: error: expected unqualified-id before 'void'
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |                ^~~~
p1261.cpp:69:16: error: expected ')' before 'void'
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |               ~^~~~
      |                )
p1261.cpp:71:3: error: expected unqualified-id before 'return'
   71 |   return first;
      |   ^~~~~~
p1261.cpp:72:29: error: 'nothrow' is not a type
   72 | namespace ranges { template<nothrow-forward-iterator I>
      |                             ^~~~~~~
p1261.cpp:72:36: error: expected '>' before '-' token
   72 | namespace ranges { template<nothrow-forward-iterator I>
      |                                    ^
p1261.cpp:73:5: error: 'requires' does not name a type
   73 |     requires default_initializable<iter_value_t<I>>
      |     ^~~~~~~~
p1261.cpp:73:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:77:1: error: expected unqualified-id before 'return'
   77 | return uninitialized_default_construct(counted_iterator(first, n),
      | ^~~~~~
p1261.cpp:83:1: error: expected unqualified-id before 'for'
   83 | for (; first != last; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:83:8: error: 'first' does not name a type
   83 | for (; first != last; ++first) ::new (voidify(*first))
      |        ^~~~~
p1261.cpp:83:23: error: expected unqualified-id before '++' token
   83 | for (; first != last; ++first) ::new (voidify(*first))
      |                       ^~
p1261.cpp:86:10: error: 'nothrow' is not a type
   86 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |          ^~~~~~~
p1261.cpp:86:17: error: expected '>' before '-' token
   86 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |                 ^
p1261.cpp:87:5: error: 'requires' does not name a type
   87 |     requires default_initializable<iter_value_t<I>>
      |     ^~~~~~~~
p1261.cpp:87:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:88:60: error: 'nothrow' is not a type
   88 | I uninitialized_value_construct(I first, S last); template<nothrow-forward-range R>
      |                                                            ^~~~~~~
p1261.cpp:88:67: error: expected '>' before '-' token
   88 | I uninitialized_value_construct(I first, S last); template<nothrow-forward-range R>
      |                                                                   ^
p1261.cpp:89:5: error: 'requires' does not name a type
   89 |     requires default_initializable<range_value_t<R>>
      |     ^~~~~~~~
p1261.cpp:89:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:95:1: error: expected unqualified-id before 'for'
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      | ^~~
p1261.cpp:95:8: error: 'n' does not name a type
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |        ^
p1261.cpp:95:16: error: expected unqualified-id before 'void'
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |                ^~~~
p1261.cpp:95:16: error: expected ')' before 'void'
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |               ~^~~~
      |                )
p1261.cpp:97:8: error: expected unqualified-id before 'return'
   97 |        return first;
      |        ^~~~~~
p1261.cpp:98:29: error: 'nothrow' is not a type
   98 | namespace ranges { template<nothrow-forward-iterator I>
      |                             ^~~~~~~
p1261.cpp:98:36: error: expected '>' before '-' token
   98 | namespace ranges { template<nothrow-forward-iterator I>
      |                                    ^
p1261.cpp:99:5: error: 'requires' does not name a type
   99 |     requires default_initializable<iter_value_t<I>>
      |     ^~~~~~~~
p1261.cpp:99:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:103:1: error: expected unqualified-id before 'return'
  103 | return uninitialized_value_construct(counted_iterator(first, n),
      | ^~~~~~
p1261.cpp:108:2: error: 'uninitialized_copy' is not a type
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |  ^~~~~~~~~~~~~~~~~~
p1261.cpp:108:23: error: expected ')' before '&&' token
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |                    ~  ^~
      |                       )
p1261.cpp:108:23: error: expected ')' before '&&' token
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |                       ^~
      |                       )
p1261.cpp:107:44: note: to match this '('
  107 |   NoThrowForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
      |                                            ^
p1261.cpp:108:26: error: expected initializer before 'in_range'
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |                          ^~~~~~~~
p1261.cpp:110:1: error: expected unqualified-id before 'for'
  110 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
      | ^~~
p1261.cpp:110:8: error: 'ifirst' does not name a type
  110 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
      |        ^~~~~~
p1261.cpp:110:44: error: expected unqualified-id before '++' token
  110 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
      |                                            ^~
p1261.cpp:112:3: error: expected unqualified-id before 'return'
  112 |   return {std::move(ifirst), ofirst};
      |   ^~~~~~
p1261.cpp:113:40: error: 'NoThrowForwardIterator' does not name a type
  113 |                                        NoThrowForwardIterator result);
      |                                        ^~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:115:1: error: expected unqualified-id before 'for'
  115 | for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
      | ^~~
p1261.cpp:115:8: error: 'first' does not name a type
  115 | for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
      |        ^~~~~
p1261.cpp:115:23: error: expected unqualified-id before '++' token
  115 | for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
      |                       ^~
p1261.cpp:119:12: error: 'input_iterator' has not been declared
  119 |   template<input_iterator I, sentinel_for<I> S1,
      |            ^~~~~~~~~~~~~~
p1261.cpp:119:30: error: 'sentinel_for' has not been declared
  119 |   template<input_iterator I, sentinel_for<I> S1,
      |                              ^~~~~~~~~~~~
p1261.cpp:119:42: error: expected '>' before '<' token
  119 |   template<input_iterator I, sentinel_for<I> S1,
      |                                          ^
p1261.cpp:120:57: error: 'requires' does not name a type
  120 | nothrow-forward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |                                                         ^~~~~~~~
p1261.cpp:120:57: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:121:70: error: 'input_range' has not been declared
  121 | uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                      ^~~~~~~~~~~
p1261.cpp:121:86: error: 'nothrow' is not a type
  121 | uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                      ^~~~~~~
p1261.cpp:121:93: error: expected '>' before '-' token
  121 | itialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                         ^

p1261.cpp:122:5: error: 'requires' does not name a type
  122 |     requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |     ^~~~~~~~
p1261.cpp:122:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:130:1: error: expected unqualified-id before 'for'
  130 | for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      | ^~~
p1261.cpp:130:9: error: 'n' does not name a type
  130 | for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |         ^
p1261.cpp:130:16: error: expected unqualified-id before '++' token
  130 | for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |                ^~
p1261.cpp:134:10: error: 'input_iterator' has not been declared
  134 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |          ^~~~~~~~~~~~~~
p1261.cpp:134:28: error: 'nothrow' is not a type
  134 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                            ^~~~~~~
p1261.cpp:134:35: error: expected '>' before '-' token
  134 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                                   ^
p1261.cpp:135:5: error: 'requires' does not name a type
  135 |     requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |     ^~~~~~~~
p1261.cpp:135:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:142:3: warning: 'auto' changes meaning in C++11; please remove it [-Wc++11-compat]
  142 |   auto t = uninitialized_copy(counted_iterator(ifirst, n),
      |   ^~~~
      |   ----
p1261.cpp:142:8: error: 't' does not name a type; did you mean 'tm'?
  142 |   auto t = uninitialized_copy(counted_iterator(ifirst, n),
      |        ^
      |        tm
p1261.cpp:144:3: error: expected unqualified-id before 'return'
  144 |   return {std::move(t.in).base(), t.out};
      |   ^~~~~~
p1261.cpp:145:20: error: expected constructor, destructor, or type conversion before '(' token
  145 |  uninitialized_move(IR&& in_range, OR&& out_range);
      |                    ^
p1261.cpp:148:1: error: expected unqualified-id before 'for'
  148 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
      | ^~~
p1261.cpp:148:8: error: 'ifirst' does not name a type
  148 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
      |        ^~~~~~
p1261.cpp:148:44: error: expected unqualified-id before '++' token
  148 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
      |                                            ^~
p1261.cpp:150:3: error: expected unqualified-id before 'return'
  150 |   return {std::move(ifirst), ofirst};
      |   ^~~~~~
p1261.cpp:157:1: error: expected unqualified-id before 'for'
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      | ^~~
p1261.cpp:157:8: error: 'first' does not name a type
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      |        ^~~~~
p1261.cpp:157:24: error: expected unqualified-id before 'void'
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      |                        ^~~~
p1261.cpp:157:24: error: expected ')' before 'void'
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      |                       ~^~~~
      |                        )
p1261.cpp:159:3: error: expected unqualified-id before 'return'
  159 |   return result;
      |   ^~~~~~
p1261.cpp:161:12: error: 'input_iterator' has not been declared
  161 |   template<input_iterator I, sentinel_for<I> S1,
      |            ^~~~~~~~~~~~~~
p1261.cpp:161:30: error: 'sentinel_for' has not been declared
  161 |   template<input_iterator I, sentinel_for<I> S1,
      |                              ^~~~~~~~~~~~
p1261.cpp:161:42: error: expected '>' before '<' token
  161 |   template<input_iterator I, sentinel_for<I> S1,
      |                                          ^
p1261.cpp:163:1: error: 'requires' does not name a type
  163 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
      | ^~~~~~~~
p1261.cpp:163:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:164:70: error: 'input_range' has not been declared
  164 | uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                      ^~~~~~~~~~~
p1261.cpp:164:86: error: 'nothrow' is not a type
  164 | uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                      ^~~~~~~
p1261.cpp:164:93: error: expected '>' before '-' token
  164 | itialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                         ^

p1261.cpp:165:5: error: 'requires' does not name a type
  165 |     requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |     ^~~~~~~~
p1261.cpp:165:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:173:1: error: expected unqualified-id before 'for'
  173 | for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      | ^~~
p1261.cpp:173:8: error: 'n' does not name a type
  173 | for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |        ^
p1261.cpp:173:15: error: expected unqualified-id before '++' token
  173 | for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |               ^~
p1261.cpp:175:4: error: expected unqualified-id before 'return'
  175 |    return {first, result};
      |    ^~~~~~
p1261.cpp:177:10: error: 'input_iterator' has not been declared
  177 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |          ^~~~~~~~~~~~~~
p1261.cpp:177:28: error: 'nothrow' is not a type
  177 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                            ^~~~~~~
p1261.cpp:177:35: error: expected '>' before '-' token
  177 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                                   ^
p1261.cpp:178:5: error: 'requires' does not name a type
  178 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |     ^~~~~~~~
p1261.cpp:178:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:183:3: warning: 'auto' changes meaning in C++11; please remove it [-Wc++11-compat]
  183 |   auto t = uninitialized_move(counted_iterator(ifirst, n),
      |   ^~~~
      |   ----
p1261.cpp:183:8: error: 't' does not name a type; did you mean 'tm'?
  183 |   auto t = uninitialized_move(counted_iterator(ifirst, n),
      |        ^
      |        tm
p1261.cpp:185:1: error: expected unqualified-id before 'return'
  185 | return {std::move(t.in).base(), t.out};
      | ^~~~~~
p1261.cpp:188:1: error: expected unqualified-id before 'for'
  188 | for (; first != last; ++first)
      | ^~~
p1261.cpp:188:8: error: 'first' does not name a type
  188 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:188:23: error: expected unqualified-id before '++' token
  188 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:190:3: error: expected unqualified-id before 'return'
  190 |   return first;
      |   ^~~~~~
p1261.cpp:193:1: error: expected unqualified-id before 'return'
  193 | return ::new (voidify(*location)) T(std::forward<Args>(args)...);
      | ^~~~~~
p1261.cpp:198:1: error: expected unqualified-id before 'for'
  198 | for (; first != last; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:198:8: error: 'first' does not name a type
  198 | for (; first != last; ++first) ::new (voidify(*first))
      |        ^~~~~
p1261.cpp:198:23: error: expected unqualified-id before '++' token
  198 | for (; first != last; ++first) ::new (voidify(*first))
      |                       ^~
p1261.cpp:201:10: error: 'nothrow' is not a type
  201 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S, class T>
      |          ^~~~~~~
p1261.cpp:201:17: error: expected '>' before '-' token
  201 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S, class T>
      |                 ^
p1261.cpp:202:5: error: 'requires' does not name a type
  202 |     requires constructible_from<iter_value_t<I>, const T&>
      |     ^~~~~~~~
p1261.cpp:202:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:203:61: error: 'nothrow' is not a type
  203 | I uninitialized_fill(I first, S last, const T& x); template<nothrow-forward-range R, class T>
      |                                                             ^~~~~~~
p1261.cpp:203:68: error: expected '>' before '-' token
  203 | I uninitialized_fill(I first, S last, const T& x); template<nothrow-forward-range R, class T>
      |                                                                    ^
p1261.cpp:204:5: error: 'requires' does not name a type
  204 |     requires constructible_from<range_value_t<R>, const T&>
      |     ^~~~~~~~
p1261.cpp:204:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:210:1: error: expected unqualified-id before 'for'
  210 | for (; n--; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:210:8: error: 'n' does not name a type
  210 | for (; n--; ++first) ::new (voidify(*first))
      |        ^
p1261.cpp:210:13: error: expected unqualified-id before '++' token
  210 | for (; n--; ++first) ::new (voidify(*first))
      |             ^~
p1261.cpp:212:3: error: expected unqualified-id before 'return'
  212 |   return first;
      |   ^~~~~~
p1261.cpp:213:29: error: 'nothrow' is not a type
  213 | namespace ranges { template<nothrow-forward-iterator I, class T>
      |                             ^~~~~~~
p1261.cpp:213:36: error: expected '>' before '-' token
  213 | namespace ranges { template<nothrow-forward-iterator I, class T>
      |                                    ^
p1261.cpp:214:5: error: 'requires' does not name a type
  214 |     requires constructible_from<iter_value_t<I>, const T&>
      |     ^~~~~~~~
p1261.cpp:214:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:218:1: error: expected unqualified-id before 'return'
  218 | return uninitialized_fill(counted_iterator(first, n), default_sentinel, x).base();
      | ^~~~~~
p1261.cpp:220:24: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  220 | template<class T, class... Args>
      |                        ^~~
p1261.cpp:221:3: error: 'constexpr' does not name a type
  221 |   constexpr T* construct_at(T* location, Args&&... args);
      |   ^~~~~~~~~
p1261.cpp:221:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:223:26: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  223 |   template<class T, class... Args>
      |                          ^~~
p1261.cpp:224:5: error: 'constexpr' does not name a type
  224 |     constexpr T* construct_at(T* location, Args&&... args);
      |     ^~~~~~~~~
p1261.cpp:224:5: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:228:3: error: expected unqualified-id before 'for'
  228 |   for (; first != last; ++first)
      |   ^~~
p1261.cpp:228:10: error: 'first' does not name a type
  228 |   for (; first != last; ++first)
      |          ^~~~~
p1261.cpp:228:25: error: expected unqualified-id before '++' token
  228 |   for (; first != last; ++first)
      |                         ^~
p1261.cpp:230:3: error: expected unqualified-id before 'return'
  230 |   return first;
      |   ^~~~~~
p1261.cpp:233:3: error: 'constexpr' does not name a type
  233 |   constexpr void destroy_at(T* location);
      |   ^~~~~~~~~
p1261.cpp:233:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:235:12: error: 'destructible' has not been declared
  235 |   template<destructible T>
      |            ^~~~~~~~~~~~
p1261.cpp:236:5: error: 'constexpr' does not name a type
  236 |     constexpr void destroy_at(T* location) noexcept;
      |     ^~~~~~~~~
p1261.cpp:236:5: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:239:3: error: 'constexpr' does not name a type
  239 |   constexpr void destroy(NoThrowForwardIterator first, NoThrowForwardIterator last);
      |   ^~~~~~~~~
p1261.cpp:239:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:241:1: error: expected unqualified-id before 'for'
  241 | for (; first != last; ++first)
      | ^~~
p1261.cpp:241:8: error: 'first' does not name a type
  241 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:241:23: error: expected unqualified-id before '++' token
  241 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:244:10: error: 'nothrow' is not a type
  244 | template<nothrow-input-iterator I, nothrow-sentinel-for<I> S>
      |          ^~~~~~~
p1261.cpp:244:17: error: expected '>' before '-' token
  244 | template<nothrow-input-iterator I, nothrow-sentinel-for<I> S>
      |                 ^
p1261.cpp:245:5: error: 'requires' does not name a type
  245 |     requires destructible<iter_value_t<I>>
      |     ^~~~~~~~
p1261.cpp:245:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:246:57: error: 'nothrow' is not a type
  246 | constexpr I destroy(I first, S last) noexcept; template<nothrow-input-range R>
      |                                                         ^~~~~~~
p1261.cpp:246:64: error: expected '>' before '-' token
  246 | constexpr I destroy(I first, S last) noexcept; template<nothrow-input-range R>
      |                                                                ^
p1261.cpp:247:5: error: 'requires' does not name a type
  247 |     requires destructible<range_value_t<R>>
      |     ^~~~~~~~
p1261.cpp:247:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:251:3: error: 'constexpr' does not name a type
  251 |   constexpr NoThrowForwardIterator destroy_n(NoThrowForwardIterator first, Size n);
      |   ^~~~~~~~~
p1261.cpp:251:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p1261.cpp:253:3: error: expected unqualified-id before 'for'
  253 |   for (; n > 0; (void)++first, --n)
      |   ^~~
p1261.cpp:253:10: error: 'n' does not name a type
  253 |   for (; n > 0; (void)++first, --n)
      |          ^
p1261.cpp:253:18: error: expected unqualified-id before 'void'
  253 |   for (; n > 0; (void)++first, --n)
      |                  ^~~~
p1261.cpp:253:18: error: expected ')' before 'void'
  253 |   for (; n > 0; (void)++first, --n)
      |                 ~^~~~
      |                  )
p1261.cpp:255:3: error: expected unqualified-id before 'return'
  255 |   return first;
      |   ^~~~~~
p1261.cpp:256:29: error: 'nothrow' is not a type
  256 | namespace ranges { template<nothrow-input-iterator I>
      |                             ^~~~~~~
p1261.cpp:256:36: error: expected '>' before '-' token
  256 | namespace ranges { template<nothrow-input-iterator I>
      |                                    ^
p1261.cpp:257:5: error: 'requires' does not name a type
  257 |     requires destructible<iter_value_t<I>>
      |     ^~~~~~~~
p1261.cpp:257:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p1261.cpp:261:1: error: expected unqualified-id before 'return'
  261 | return destroy(counted_iterator(first, n), default_sentinel).base();
      | ^~~~~~
p1261.cpp:265:2: error: expected '}' at end of input
  265 | }
      |  ^
p1261.cpp:176:18: note: to match this '{'
  176 | namespace ranges {
      |                  ^

$ g++ p1261.cpp -std=2b -o p1261g -I. -Wall
p1261.cpp:26:16: error: expected '=' before '-' token
   26 | concept nothrow-input-iterator = // exposition only
      |                ^
p1261.cpp:33:16: error: expected '=' before '-' token
   33 | concept nothrow-input-range = // exposition only
      |                ^
p1261.cpp:38:16: error: expected '=' before '-' token
   38 | concept nothrow-forward-iterator = // exposition only
      |                ^
p1261.cpp:42:16: error: expected '=' before '-' token
   42 | concept nothrow-forward-range = // exposition only
      |                ^
p1261.cpp:48:1: error: expected unqualified-id before 'for'
   48 | for (; first != last; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:48:8: error: 'first' does not name a type
   48 | for (; first != last; ++first) ::new (voidify(*first))
      |        ^~~~~
p1261.cpp:48:23: error: expected unqualified-id before '++' token
   48 | for (; first != last; ++first) ::new (voidify(*first))
      |                       ^~
p1261.cpp:51:10: error: 'nothrow' is not a type
   51 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |          ^~~~~~~
p1261.cpp:51:17: error: expected '>' before '-' token
   51 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |                 ^
p1261.cpp:52:49: error: 'I' was not declared in this scope
   52 |     requires default_initializable<iter_value_t<I>>
      |                                                 ^
p1261.cpp:52:49: error: template argument 1 is invalid
p1261.cpp:52:14: error: template argument 1 is invalid
   52 |     requires default_initializable<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:53:1: error: 'I' does not name a type
   53 | I uninitialized_default_construct(I first, S last);
      | ^
p1261.cpp:54:10: error: 'nothrow' is not a type
   54 | template<nothrow-forward-range R>
      |          ^~~~~~~
p1261.cpp:54:17: error: expected '>' before '-' token
   54 | template<nothrow-forward-range R>
      |                 ^
p1261.cpp:55:50: error: 'R' was not declared in this scope
   55 |     requires default_initializable<range_value_t<R>>
      |                                                  ^
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:50: error: 'R' was not declared in this scope
p1261.cpp:55:36: error: 'range_value_t' was not declared in this scope; did you mean 'std::ranges::range_value_t'?
   55 |     requires default_initializable<range_value_t<R>>
      |                                    ^~~~~~~~~~~~~
      |                                    std::ranges::range_value_t
In file included from /usr/local/include/c++/12.1.0/string_view:50,
                 from /usr/local/include/c++/12.1.0/bits/basic_string.h:48,
                 from /usr/local/include/c++/12.1.0/string:53,
                 from /usr/local/include/c++/12.1.0/bits/locale_classes.h:40,
                 from /usr/local/include/c++/12.1.0/bits/ios_base.h:41,
                 from /usr/local/include/c++/12.1.0/ios:42,
                 from /usr/local/include/c++/12.1.0/ostream:38,
                 from /usr/local/include/c++/12.1.0/iostream:39,
                 from N4910.h:2,
                 from p1261.cpp:10:
/usr/local/include/c++/12.1.0/bits/ranges_base.h:604:11: note: 'std::ranges::range_value_t' declared here
  604 |     using range_value_t = iter_value_t<iterator_t<_Range>>;
      |           ^~~~~~~~~~~~~
p1261.cpp:55:50: error: 'R' was not declared in this scope
   55 |     requires default_initializable<range_value_t<R>>
      |                                                  ^
p1261.cpp:55:14: error: template argument 1 is invalid
   55 |     requires default_initializable<range_value_t<R>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:56:25: error: 'R' was not declared in this scope
   56 |     borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |                         ^
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:25: error: 'R' was not declared in this scope
p1261.cpp:56:5: error: 'borrowed_iterator_t' does not name a type
   56 |     borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |     ^~~~~~~~~~~~~~~~~~~
p1261.cpp:59:1: error: expected unqualified-id before 'for'
   59 | for (; first != last; ++first)
      | ^~~
p1261.cpp:59:8: error: 'first' does not name a type
   59 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:59:23: error: expected unqualified-id before '++' token
   59 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:61:8: error: expected unqualified-id before 'return'
   61 |        return first;
      |        ^~~~~~
p1261.cpp:63:1: error: expected unqualified-id before 'for'
   63 | for (; first != last; ++first)
      | ^~~
p1261.cpp:63:8: error: 'first' does not name a type
   63 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:63:23: error: expected unqualified-id before '++' token
   63 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:65:3: error: expected unqualified-id before 'return'
   65 |   return first;
      |   ^~~~~~
p1261.cpp:69:1: error: expected unqualified-id before 'for'
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      | ^~~
p1261.cpp:69:8: error: 'n' does not name a type
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |        ^
p1261.cpp:69:16: error: expected unqualified-id before 'void'
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |                ^~~~
p1261.cpp:69:16: error: expected ')' before 'void'
   69 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |               ~^~~~
      |                )
p1261.cpp:71:3: error: expected unqualified-id before 'return'
   71 |   return first;
      |   ^~~~~~
p1261.cpp:72:29: error: 'nothrow' is not a type
   72 | namespace ranges { template<nothrow-forward-iterator I>
      |                             ^~~~~~~
p1261.cpp:72:36: error: expected '>' before '-' token
   72 | namespace ranges { template<nothrow-forward-iterator I>
      |                                    ^
p1261.cpp:73:49: error: 'I' was not declared in this scope
   73 |     requires default_initializable<iter_value_t<I>>
      |                                                 ^
p1261.cpp:73:49: error: template argument 1 is invalid
p1261.cpp:73:14: error: template argument 1 is invalid
   73 |     requires default_initializable<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:74:5: error: 'I' does not name a type
   74 |     I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
      |     ^
p1261.cpp:77:1: error: expected unqualified-id before 'return'
   77 | return uninitialized_default_construct(counted_iterator(first, n),
      | ^~~~~~
p1261.cpp:83:1: error: expected unqualified-id before 'for'
   83 | for (; first != last; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:83:8: error: 'first' does not name a type
   83 | for (; first != last; ++first) ::new (voidify(*first))
      |        ^~~~~
p1261.cpp:83:23: error: expected unqualified-id before '++' token
   83 | for (; first != last; ++first) ::new (voidify(*first))
      |                       ^~
p1261.cpp:86:10: error: 'nothrow' is not a type
   86 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |          ^~~~~~~
p1261.cpp:86:17: error: expected '>' before '-' token
   86 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
      |                 ^
p1261.cpp:87:49: error: 'I' was not declared in this scope
   87 |     requires default_initializable<iter_value_t<I>>
      |                                                 ^
p1261.cpp:87:49: error: template argument 1 is invalid
p1261.cpp:87:14: error: template argument 1 is invalid
   87 |     requires default_initializable<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:88:1: error: 'I' does not name a type
   88 | I uninitialized_value_construct(I first, S last); template<nothrow-forward-range R>
      | ^
p1261.cpp:88:60: error: 'nothrow' is not a type
   88 | I uninitialized_value_construct(I first, S last); template<nothrow-forward-range R>
      |                                                            ^~~~~~~
p1261.cpp:88:67: error: expected '>' before '-' token
   88 | I uninitialized_value_construct(I first, S last); template<nothrow-forward-range R>
      |                                                                   ^
p1261.cpp:89:50: error: 'R' was not declared in this scope
   89 |     requires default_initializable<range_value_t<R>>
      |                                                  ^
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:50: error: 'R' was not declared in this scope
p1261.cpp:89:36: error: 'range_value_t' was not declared in this scope; did you mean 'std::ranges::range_value_t'?
   89 |     requires default_initializable<range_value_t<R>>
      |                                    ^~~~~~~~~~~~~
      |                                    std::ranges::range_value_t
/usr/local/include/c++/12.1.0/bits/ranges_base.h:604:11: note: 'std::ranges::range_value_t' declared here
  604 |     using range_value_t = iter_value_t<iterator_t<_Range>>;
      |           ^~~~~~~~~~~~~
p1261.cpp:89:50: error: 'R' was not declared in this scope
   89 |     requires default_initializable<range_value_t<R>>
      |                                                  ^
p1261.cpp:89:14: error: template argument 1 is invalid
   89 |     requires default_initializable<range_value_t<R>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:90:25: error: 'R' was not declared in this scope
   90 |     borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |                         ^
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:25: error: 'R' was not declared in this scope
p1261.cpp:90:5: error: 'borrowed_iterator_t' does not name a type
   90 |     borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |     ^~~~~~~~~~~~~~~~~~~
p1261.cpp:95:1: error: expected unqualified-id before 'for'
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      | ^~~
p1261.cpp:95:8: error: 'n' does not name a type
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |        ^
p1261.cpp:95:16: error: expected unqualified-id before 'void'
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |                ^~~~
p1261.cpp:95:16: error: expected ')' before 'void'
   95 | for (; n > 0; (void)++first, --n) ::new (voidify(*first))
      |               ~^~~~
      |                )
p1261.cpp:97:8: error: expected unqualified-id before 'return'
   97 |        return first;
      |        ^~~~~~
p1261.cpp:98:29: error: 'nothrow' is not a type
   98 | namespace ranges { template<nothrow-forward-iterator I>
      |                             ^~~~~~~
p1261.cpp:98:36: error: expected '>' before '-' token
   98 | namespace ranges { template<nothrow-forward-iterator I>
      |                                    ^
p1261.cpp:99:49: error: 'I' was not declared in this scope
   99 |     requires default_initializable<iter_value_t<I>>
      |                                                 ^
p1261.cpp:99:49: error: template argument 1 is invalid
p1261.cpp:99:14: error: template argument 1 is invalid
   99 |     requires default_initializable<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:100:5: error: 'I' does not name a type
  100 |     I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
      |     ^
p1261.cpp:103:1: error: expected unqualified-id before 'return'
  103 | return uninitialized_value_construct(counted_iterator(first, n),
      | ^~~~~~
p1261.cpp:108:2: error: 'uninitialized_copy' is not a type
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |  ^~~~~~~~~~~~~~~~~~
p1261.cpp:108:23: error: expected ')' before '&&' token
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |                    ~  ^~
      |                       )
p1261.cpp:108:23: error: expected ')' before '&&' token
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |                       ^~
      |                       )
p1261.cpp:107:44: note: to match this '('
  107 |   NoThrowForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
      |                                            ^
p1261.cpp:108:26: error: expected initializer before 'in_range'
  108 |  uninitialized_copy(IR&& in_range, OR&& out_range);
      |                          ^~~~~~~~
p1261.cpp:110:1: error: expected unqualified-id before 'for'
  110 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
      | ^~~
p1261.cpp:110:8: error: 'ifirst' does not name a type
  110 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
      |        ^~~~~~
p1261.cpp:110:44: error: expected unqualified-id before '++' token
  110 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
      |                                            ^~
p1261.cpp:112:3: error: expected unqualified-id before 'return'
  112 |   return {std::move(ifirst), ofirst};
      |   ^~~~~~
p1261.cpp:113:40: error: 'NoThrowForwardIterator' does not name a type
  113 |                                        NoThrowForwardIterator result);
      |                                        ^~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:115:1: error: expected unqualified-id before 'for'
  115 | for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
      | ^~~
p1261.cpp:115:8: error: 'first' does not name a type
  115 | for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
      |        ^~~~~
p1261.cpp:115:23: error: expected unqualified-id before '++' token
  115 | for (; first != last; ++result, (void) ++first) ::new (voidify(*result))
      |                       ^~
p1261.cpp:120:1: error: 'nothrow' is not a type
  120 | nothrow-forward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      | ^~~~~~~
p1261.cpp:120:8: error: expected '>' before '-' token
  120 | nothrow-forward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |        ^
p1261.cpp:120:98: error: 'O' was not declared in this scope
  120 | orward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |                                                                                         ^

p1261.cpp:120:99: error: template argument 1 is invalid
  120 | rward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |                                                                                         ^

p1261.cpp:120:66: error: template argument 1 is invalid
  120 | nothrow-forward-iterator O, nothrow-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |                                                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:120:152: error: 'O' was not declared in this scope
  120 | > requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |                                                                                                  ^

p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:152: error: 'O' was not declared in this scope
p1261.cpp:120:123: error: 'uninitialized_copy_result' does not name a type
  120 | w-sentinel-for<O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>> uninitialized_copy_result<I, O>
      |                                                                                         ^~~~~~~~~~~~~~~~~~~~~~~~~

p1261.cpp:121:70: error: 'input_range' has not been declared
  121 | uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                      ^~~~~~~~~~~
p1261.cpp:121:86: error: 'nothrow' is not a type
  121 | uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                      ^~~~~~~
p1261.cpp:121:93: error: expected '>' before '-' token
  121 | itialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                         ^

p1261.cpp:122:47: error: 'OR' was not declared in this scope
  122 |     requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |                                               ^~
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:47: error: 'OR' was not declared in this scope
p1261.cpp:122:33: error: 'range_value_t' was not declared in this scope; did you mean 'std::ranges::range_value_t'?
  122 |     requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |                                 ^~~~~~~~~~~~~
      |                                 std::ranges::range_value_t
/usr/local/include/c++/12.1.0/bits/ranges_base.h:604:11: note: 'std::ranges::range_value_t' declared here
  604 |     using range_value_t = iter_value_t<iterator_t<_Range>>;
      |           ^~~~~~~~~~~~~
p1261.cpp:122:47: error: 'OR' was not declared in this scope
  122 |     requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |                                               ^~
p1261.cpp:122:14: error: template argument 1 is invalid
  122 |     requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:122:50: error: expected unqualified-id before ',' token
  122 |     requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |                                                  ^
p1261.cpp:130:1: error: expected unqualified-id before 'for'
  130 | for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      | ^~~
p1261.cpp:130:9: error: 'n' does not name a type
  130 | for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |         ^
p1261.cpp:130:16: error: expected unqualified-id before '++' token
  130 | for ( ; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |                ^~
p1261.cpp:134:28: error: 'nothrow' is not a type
  134 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                            ^~~~~~~
p1261.cpp:134:35: error: expected '>' before '-' token
  134 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                                   ^
p1261.cpp:135:46: error: 'O' was not declared in this scope
  135 |     requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                              ^
p1261.cpp:135:47: error: template argument 1 is invalid
  135 |     requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                               ^
p1261.cpp:135:14: error: template argument 1 is invalid
  135 |     requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:136:36: error: 'O' was not declared in this scope
  136 |     uninitialized_copy_n_result<I, O>
      |                                    ^
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:36: error: 'O' was not declared in this scope
p1261.cpp:136:5: error: 'uninitialized_copy_n_result' does not name a type
  136 |     uninitialized_copy_n_result<I, O>
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:142:48: error: 'ifirst' was not declared in this scope
  142 |   auto t = uninitialized_copy(counted_iterator(ifirst, n),
      |                                                ^~~~~~
p1261.cpp:142:56: error: 'n' was not declared in this scope; did you mean 'yn'?
  142 |   auto t = uninitialized_copy(counted_iterator(ifirst, n),
      |                                                        ^
      |                                                        yn
p1261.cpp:143:49: error: 'ofirst' was not declared in this scope
  143 |                               default_sentinel, ofirst, olast);
      |                                                 ^~~~~~
p1261.cpp:143:57: error: 'olast' was not declared in this scope
  143 |                               default_sentinel, ofirst, olast);
      |                                                         ^~~~~
p1261.cpp:144:3: error: expected unqualified-id before 'return'
  144 |   return {std::move(t.in).base(), t.out};
      |   ^~~~~~
p1261.cpp:145:20: error: expected constructor, destructor, or type conversion before '(' token
  145 |  uninitialized_move(IR&& in_range, OR&& out_range);
      |                    ^
p1261.cpp:148:1: error: expected unqualified-id before 'for'
  148 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
      | ^~~
p1261.cpp:148:8: error: 'ifirst' does not name a type
  148 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
      |        ^~~~~~
p1261.cpp:148:44: error: expected unqualified-id before '++' token
  148 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) ::new (voidify(*ofirst))
      |                                            ^~
p1261.cpp:150:3: error: expected unqualified-id before 'return'
  150 |   return {std::move(ifirst), ofirst};
      |   ^~~~~~
p1261.cpp:157:1: error: expected unqualified-id before 'for'
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      | ^~~
p1261.cpp:157:8: error: 'first' does not name a type
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      |        ^~~~~
p1261.cpp:157:24: error: expected unqualified-id before 'void'
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      |                        ^~~~
p1261.cpp:157:24: error: expected ')' before 'void'
  157 | for (; first != last; (void)++result, ++first) ::new (voidify(*result))
      |                       ~^~~~
      |                        )
p1261.cpp:159:3: error: expected unqualified-id before 'return'
  159 |   return result;
      |   ^~~~~~
p1261.cpp:162:1: error: 'nothrow' is not a type
  162 | nothrow-forward-iterator O, nothrow-sentinel-for<O> S2>
      | ^~~~~~~
p1261.cpp:162:8: error: expected '>' before '-' token
  162 | nothrow-forward-iterator O, nothrow-sentinel-for<O> S2>
      |        ^
p1261.cpp:163:42: error: 'O' was not declared in this scope
  163 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
      |                                          ^
p1261.cpp:163:43: error: template argument 1 is invalid
  163 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
      |                                           ^
p1261.cpp:163:10: error: template argument 1 is invalid
  163 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:163:103: error: 'O' was not declared in this scope
  163 | res constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
      |                                                                                                  ^

p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:103: error: 'O' was not declared in this scope
p1261.cpp:163:74: error: 'uninitialized_move_result' does not name a type
  163 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O>
      |                                                                          ^~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:164:70: error: 'input_range' has not been declared
  164 | uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                      ^~~~~~~~~~~
p1261.cpp:164:86: error: 'nothrow' is not a type
  164 | uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                      ^~~~~~~
p1261.cpp:164:93: error: expected '>' before '-' token
  164 | itialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); template<input_range IR, nothrow-forward-range OR>
      |                                                                                         ^

p1261.cpp:165:47: error: 'OR' was not declared in this scope
  165 |     requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |                                               ^~
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:47: error: 'OR' was not declared in this scope
p1261.cpp:165:33: error: 'range_value_t' was not declared in this scope; did you mean 'std::ranges::range_value_t'?
  165 |     requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |                                 ^~~~~~~~~~~~~
      |                                 std::ranges::range_value_t
/usr/local/include/c++/12.1.0/bits/ranges_base.h:604:11: note: 'std::ranges::range_value_t' declared here
  604 |     using range_value_t = iter_value_t<iterator_t<_Range>>;
      |           ^~~~~~~~~~~~~
p1261.cpp:165:47: error: 'OR' was not declared in this scope
  165 |     requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |                                               ^~
p1261.cpp:165:14: error: template argument 1 is invalid
  165 |     requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:165:50: error: expected unqualified-id before ',' token
  165 |     requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |                                                  ^
p1261.cpp:173:1: error: expected unqualified-id before 'for'
  173 | for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      | ^~~
p1261.cpp:173:8: error: 'n' does not name a type
  173 | for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |        ^
p1261.cpp:173:15: error: expected unqualified-id before '++' token
  173 | for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result))
      |               ^~
p1261.cpp:175:4: error: expected unqualified-id before 'return'
  175 |    return {first, result};
      |    ^~~~~~
p1261.cpp:177:28: error: 'nothrow' is not a type
  177 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                            ^~~~~~~
p1261.cpp:177:35: error: expected '>' before '-' token
  177 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
      |                                   ^
p1261.cpp:178:46: error: 'O' was not declared in this scope
  178 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |                                              ^
p1261.cpp:178:47: error: template argument 1 is invalid
  178 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |                                               ^
p1261.cpp:178:14: error: template argument 1 is invalid
  178 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:179:36: error: 'O' was not declared in this scope
  179 |     uninitialized_move_n_result<I, O>
      |                                    ^
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:36: error: 'O' was not declared in this scope
p1261.cpp:179:5: error: 'uninitialized_move_n_result' does not name a type
  179 |     uninitialized_move_n_result<I, O>
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:183:48: error: 'ifirst' was not declared in this scope
  183 |   auto t = uninitialized_move(counted_iterator(ifirst, n),
      |                                                ^~~~~~
p1261.cpp:183:56: error: 'n' was not declared in this scope
  183 |   auto t = uninitialized_move(counted_iterator(ifirst, n),
      |                                                        ^
p1261.cpp:184:49: error: 'ofirst' was not declared in this scope
  184 |                               default_sentinel, ofirst, olast);
      |                                                 ^~~~~~
p1261.cpp:184:57: error: 'olast' was not declared in this scope
  184 |                               default_sentinel, ofirst, olast);
      |                                                         ^~~~~
p1261.cpp:185:1: error: expected unqualified-id before 'return'
  185 | return {std::move(t.in).base(), t.out};
      | ^~~~~~
p1261.cpp:188:1: error: expected unqualified-id before 'for'
  188 | for (; first != last; ++first)
      | ^~~
p1261.cpp:188:8: error: 'first' does not name a type
  188 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:188:23: error: expected unqualified-id before '++' token
  188 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:190:3: error: expected unqualified-id before 'return'
  190 |   return first;
      |   ^~~~~~
p1261.cpp:193:1: error: expected unqualified-id before 'return'
  193 | return ::new (voidify(*location)) T(std::forward<Args>(args)...);
      | ^~~~~~
p1261.cpp:198:1: error: expected unqualified-id before 'for'
  198 | for (; first != last; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:198:8: error: 'first' does not name a type
  198 | for (; first != last; ++first) ::new (voidify(*first))
      |        ^~~~~
p1261.cpp:198:23: error: expected unqualified-id before '++' token
  198 | for (; first != last; ++first) ::new (voidify(*first))
      |                       ^~
p1261.cpp:201:10: error: 'nothrow' is not a type
  201 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S, class T>
      |          ^~~~~~~
p1261.cpp:201:17: error: expected '>' before '-' token
  201 | template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S, class T>
      |                 ^
p1261.cpp:202:46: error: 'I' was not declared in this scope
  202 |     requires constructible_from<iter_value_t<I>, const T&>
      |                                              ^
p1261.cpp:202:47: error: template argument 1 is invalid
  202 |     requires constructible_from<iter_value_t<I>, const T&>
      |                                               ^
p1261.cpp:202:56: error: ISO C++ forbids declaration of 'type name' with no type [-fpermissive]
  202 |     requires constructible_from<iter_value_t<I>, const T&>
      |                                                        ^
p1261.cpp:202:14: error: parse error in template argument list
  202 |     requires constructible_from<iter_value_t<I>, const T&>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:202:14: error: template argument 1 is invalid
p1261.cpp:202:14: error: template argument 2 is invalid
p1261.cpp:203:1: error: 'I' does not name a type
  203 | I uninitialized_fill(I first, S last, const T& x); template<nothrow-forward-range R, class T>
      | ^
p1261.cpp:203:61: error: 'nothrow' is not a type
  203 | I uninitialized_fill(I first, S last, const T& x); template<nothrow-forward-range R, class T>
      |                                                             ^~~~~~~
p1261.cpp:203:68: error: expected '>' before '-' token
  203 | I uninitialized_fill(I first, S last, const T& x); template<nothrow-forward-range R, class T>
      |                                                                    ^
p1261.cpp:204:47: error: 'R' was not declared in this scope
  204 |     requires constructible_from<range_value_t<R>, const T&>
      |                                               ^
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:47: error: 'R' was not declared in this scope
p1261.cpp:204:33: error: 'range_value_t' was not declared in this scope; did you mean 'std::ranges::range_value_t'?
  204 |     requires constructible_from<range_value_t<R>, const T&>
      |                                 ^~~~~~~~~~~~~
      |                                 std::ranges::range_value_t
/usr/local/include/c++/12.1.0/bits/ranges_base.h:604:11: note: 'std::ranges::range_value_t' declared here
  604 |     using range_value_t = iter_value_t<iterator_t<_Range>>;
      |           ^~~~~~~~~~~~~
p1261.cpp:204:47: error: 'R' was not declared in this scope
  204 |     requires constructible_from<range_value_t<R>, const T&>
      |                                               ^
p1261.cpp:204:14: error: template argument 1 is invalid
  204 |     requires constructible_from<range_value_t<R>, const T&>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:204:49: error: expected unqualified-id before ',' token
  204 |     requires constructible_from<range_value_t<R>, const T&>
      |                                                 ^
p1261.cpp:210:1: error: expected unqualified-id before 'for'
  210 | for (; n--; ++first) ::new (voidify(*first))
      | ^~~
p1261.cpp:210:8: error: 'n' does not name a type
  210 | for (; n--; ++first) ::new (voidify(*first))
      |        ^
p1261.cpp:210:13: error: expected unqualified-id before '++' token
  210 | for (; n--; ++first) ::new (voidify(*first))
      |             ^~
p1261.cpp:212:3: error: expected unqualified-id before 'return'
  212 |   return first;
      |   ^~~~~~
p1261.cpp:213:29: error: 'nothrow' is not a type
  213 | namespace ranges { template<nothrow-forward-iterator I, class T>
      |                             ^~~~~~~
p1261.cpp:213:36: error: expected '>' before '-' token
  213 | namespace ranges { template<nothrow-forward-iterator I, class T>
      |                                    ^
p1261.cpp:214:46: error: 'I' was not declared in this scope
  214 |     requires constructible_from<iter_value_t<I>, const T&>
      |                                              ^
p1261.cpp:214:47: error: template argument 1 is invalid
  214 |     requires constructible_from<iter_value_t<I>, const T&>
      |                                               ^
p1261.cpp:214:56: error: ISO C++ forbids declaration of 'type name' with no type [-fpermissive]
  214 |     requires constructible_from<iter_value_t<I>, const T&>
      |                                                        ^
p1261.cpp:214:14: error: parse error in template argument list
  214 |     requires constructible_from<iter_value_t<I>, const T&>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:214:14: error: template argument 1 is invalid
p1261.cpp:214:14: error: template argument 2 is invalid
p1261.cpp:215:5: error: 'I' does not name a type
  215 |     I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
      |     ^
p1261.cpp:218:1: error: expected unqualified-id before 'return'
  218 | return uninitialized_fill(counted_iterator(first, n), default_sentinel, x).base();
      | ^~~~~~
p1261.cpp:228:3: error: expected unqualified-id before 'for'
  228 |   for (; first != last; ++first)
      |   ^~~
p1261.cpp:228:10: error: 'first' does not name a type
  228 |   for (; first != last; ++first)
      |          ^~~~~
p1261.cpp:228:25: error: expected unqualified-id before '++' token
  228 |   for (; first != last; ++first)
      |                         ^~
p1261.cpp:230:3: error: expected unqualified-id before 'return'
  230 |   return first;
      |   ^~~~~~
p1261.cpp:241:1: error: expected unqualified-id before 'for'
  241 | for (; first != last; ++first)
      | ^~~
p1261.cpp:241:8: error: 'first' does not name a type
  241 | for (; first != last; ++first)
      |        ^~~~~
p1261.cpp:241:23: error: expected unqualified-id before '++' token
  241 | for (; first != last; ++first)
      |                       ^~
p1261.cpp:244:10: error: 'nothrow' is not a type
  244 | template<nothrow-input-iterator I, nothrow-sentinel-for<I> S>
      |          ^~~~~~~
p1261.cpp:244:17: error: expected '>' before '-' token
  244 | template<nothrow-input-iterator I, nothrow-sentinel-for<I> S>
      |                 ^
p1261.cpp:245:40: error: 'I' was not declared in this scope
  245 |     requires destructible<iter_value_t<I>>
      |                                        ^
p1261.cpp:245:40: error: template argument 1 is invalid
p1261.cpp:245:14: error: template argument 1 is invalid
  245 |     requires destructible<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:246:11: error: 'I' does not name a type
  246 | constexpr I destroy(I first, S last) noexcept; template<nothrow-input-range R>
      |           ^
p1261.cpp:246:57: error: 'nothrow' is not a type
  246 | constexpr I destroy(I first, S last) noexcept; template<nothrow-input-range R>
      |                                                         ^~~~~~~
p1261.cpp:246:64: error: expected '>' before '-' token
  246 | constexpr I destroy(I first, S last) noexcept; template<nothrow-input-range R>
      |                                                                ^
p1261.cpp:247:41: error: 'R' was not declared in this scope
  247 |     requires destructible<range_value_t<R>>
      |                                         ^
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:41: error: 'R' was not declared in this scope
p1261.cpp:247:27: error: 'range_value_t' was not declared in this scope; did you mean 'std::ranges::range_value_t'?
  247 |     requires destructible<range_value_t<R>>
      |                           ^~~~~~~~~~~~~
      |                           std::ranges::range_value_t
/usr/local/include/c++/12.1.0/bits/ranges_base.h:604:11: note: 'std::ranges::range_value_t' declared here
  604 |     using range_value_t = iter_value_t<iterator_t<_Range>>;
      |           ^~~~~~~~~~~~~
p1261.cpp:247:41: error: 'R' was not declared in this scope
  247 |     requires destructible<range_value_t<R>>
      |                                         ^
p1261.cpp:247:14: error: template argument 1 is invalid
  247 |     requires destructible<range_value_t<R>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:248:35: error: 'R' was not declared in this scope
  248 |     constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
      |                                   ^
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:35: error: 'R' was not declared in this scope
p1261.cpp:248:15: error: 'borrowed_iterator_t' does not name a type
  248 |     constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
      |               ^~~~~~~~~~~~~~~~~~~
p1261.cpp:253:3: error: expected unqualified-id before 'for'
  253 |   for (; n > 0; (void)++first, --n)
      |   ^~~
p1261.cpp:253:10: error: 'n' does not name a type
  253 |   for (; n > 0; (void)++first, --n)
      |          ^
p1261.cpp:253:18: error: expected unqualified-id before 'void'
  253 |   for (; n > 0; (void)++first, --n)
      |                  ^~~~
p1261.cpp:253:18: error: expected ')' before 'void'
  253 |   for (; n > 0; (void)++first, --n)
      |                 ~^~~~
      |                  )
p1261.cpp:255:3: error: expected unqualified-id before 'return'
  255 |   return first;
      |   ^~~~~~
p1261.cpp:256:29: error: 'nothrow' is not a type
  256 | namespace ranges { template<nothrow-input-iterator I>
      |                             ^~~~~~~
p1261.cpp:256:36: error: expected '>' before '-' token
  256 | namespace ranges { template<nothrow-input-iterator I>
      |                                    ^
p1261.cpp:257:40: error: 'I' was not declared in this scope
  257 |     requires destructible<iter_value_t<I>>
      |                                        ^
p1261.cpp:257:40: error: template argument 1 is invalid
p1261.cpp:257:14: error: template argument 1 is invalid
  257 |     requires destructible<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p1261.cpp:258:15: error: 'I' does not name a type
  258 |     constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
      |               ^
p1261.cpp:261:1: error: expected unqualified-id before 'return'
  261 | return destroy(counted_iterator(first, n), default_sentinel).base();
      | ^~~~~~
p1261.cpp:265:2: error: expected '}' at end of input
  265 | }
      |  ^
p1261.cpp:176:18: note: to match this '{'
  176 | namespace ranges {
      |                  ^

検討事項(agenda)

コンパイルエラーを取るか、コンパイルエラーの理由を解説する。

応用例1　AUTOSAR C++

AUTOSARでC++のコーディング標準を作っている。　
MISRA-C++コーディング標準の改訂をまたずに、C++14に対応したかったためかもしれない。　

Autosar Guidelines C++14 example code compile list

応用例2　MISRA C++

MISRA C++, AUTOSAR C++について

MISRA C++ 5-0-16

応用例3 CERT C++

MISRA C/C++, AUTOSAR C++, CERT C/C++とC/C++工業標準をコンパイルする

応用例4 箱庭　

箱庭ではUnityをはじめC++を使っているらしい。　

ここでコンパイルしたコードと同じようなコードを使っているか、
ここで出たコンパイルエラーと同じようなエラーがでたかを
いろいろな版のコンパイラでコンパイルして確認していく。

仮想戦略会議「箱庭」
https://qiita.com/kaizen_nagoya/items/73cb132707653176a461

お盆には「箱庭」記事を書きましょう「もくもく会」の題材になる（１）
https://qiita.com/kaizen_nagoya/items/a22bf2b1dab0ad3258d4

お盆には「箱庭」記事を書きましょう「もくもく会」の題材になる（2）
https://qiita.com/kaizen_nagoya/items/e3c0ceb2dcc9cf3f3fac

参考資料(reference)

エンジニア夏休み企画 個人開発
https://qiita.com/official-events/6d31965c499a69377c0b

自己参考資料(self reference)

関連する自己参照以外は、こちらの先頭に移転。

C言語（C++)に対する誤解、曲解、無理解、爽快。
https://qiita.com/kaizen_nagoya/items/3f3992c9722c1cee2e3a

#include "N4910.h"
https://qiita.com/kaizen_nagoya/items/163a47cef7d6bb1c33a8

C++N4910資料の改善点
https://qiita.com/kaizen_nagoya/items/fb4ceb5d117a54641af3

dockerにclang
https://qiita.com/kaizen_nagoya/items/8829ffeee397eda50e80

docker gnu(gcc/g++) and llvm(clang/clang++)
https://qiita.com/kaizen_nagoya/items/059874ea39c4de64c0f7

コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da

C++N4910:2022 tag follower 300人超えました。ありがとうございます。
https://qiita.com/kaizen_nagoya/items/a63fb96d351ac5c16ff7

astyle 使ってみた
https://qiita.com/kaizen_nagoya/items/3c9a87a781d53a1a23f3

【個人開発】　効率的な背景　＜エンジニア夏休み企画＞
https://qiita.com/kaizen_nagoya/items/3ebab436e63731e4b885

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words and/or centences in order.
Este artículo no está completo. Agregaré algunas palabras en orden.

知人資料

' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

技術士(0)一覧
https://qiita.com/kaizen_nagoya/items/ce4ccf4eb9c5600b89ea

Reserchmap(0) 一覧
https://qiita.com/kaizen_nagoya/items/506c79e562f406c4257e

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

coq(0) 一覧
https://qiita.com/kaizen_nagoya/items/d22f9995cf2173bc3b13

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

色(0) 記事100書く切り口
https://qiita.com/kaizen_nagoya/items/22331c0335ed34326b9b

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

水の資料集(0)　方針と成果
https://qiita.com/kaizen_nagoya/items/f5dbb30087ea732b52aa

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/faa4ea03d91d901a618a

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　 ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

programの本質は計画だ。programは設計だ。
https://qiita.com/kaizen_nagoya/items/c8545a769c246a458c27

登壇直後版 色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜 スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説（127）
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説（136）
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

祝休日・謹賀新年 2025年の目標
https://qiita.com/kaizen_nagoya/items/dfa34827932f99c59bbc

Qiita 1年間をまとめた「振り返りページ」＠2024
https://qiita.com/kaizen_nagoya/items/ed6be239119c99b15828

2024 参加・主催Calendarと投稿記事一覧 Qiita(248)
https://qiita.com/kaizen_nagoya/items/d80b8fbac2496df7827f

主催Calendar2024分析 Qiita(254)
https://qiita.com/kaizen_nagoya/items/15807336d583076f70bc

Calendar 統計
https://qiita.com/kaizen_nagoya/items/e315558dcea8ee3fe43e

LLM 関連 Calendar 2024
https://qiita.com/kaizen_nagoya/items/c36033cf66862d5496fa

Large Language Model Related Calendar
https://qiita.com/kaizen_nagoya/items/3beb0bc3fb71e3ae6d66

博士論文 Calendar 2024 を開催します。
https://qiita.com/kaizen_nagoya/items/51601357efbcaf1057d0

博士論文(0)関連記事一覧
https://qiita.com/kaizen_nagoya/items/8f223a760e607b705e78

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（168）統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう！（再び）
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講（再び）
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

ソースコードで議論しよう。日本語で議論するの止めましょう（あるプログラミング技術の議論報告）
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説（34）
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!!
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説（37）　
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応） 転職(1)
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64

プログラミング言語教育のXYZ。 仮説（52）
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心 安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

日本のプログラマが世界で戦える16分野。仮説(53),統計と確率(25) 転職(32)、Ethernet(58)
https://qiita.com/kaizen_nagoya/items/a7e634a996cdd02bc53b

小川メソッド　覚え（書きかけ）
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP（ドゥーキャップ）って何ですか？
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧 最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

amazon 殿堂入りNo1レビュアになるまで。仮説(102)
https://qiita.com/kaizen_nagoya/items/83259d18921ce75a91f4

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

水道局10年(1976,4-1986,3)を振り返る
https://qiita.com/kaizen_nagoya/items/707fcf6fae230dd349bf

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.
Este artículo es una impresión personal basada en mi experiencia personal. No tiene nada que ver con la organización o empresa a la que pertenezco actualmente.

文書履歴(document history)

ver. 0.01 初稿 　20220816

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.

Muchas gracias por leer hasta la última oración.

Por favor, haz clic en el ícono Me gusta 💚 y sígueme para tener una vida feliz.