はじめに(Introduction)

N4910 Working Draft, Standard for Programming Language C++

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

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

https://stackoverflow.com
https://cpprefjp.github.io
http://ja.cppreference.com/

また
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.

20.2.2 Header synopsis [memory.syn] C++N4910:2022 (420) p578.cpp

算譜(source code)

p578.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 = "20.2.2 Header <memory> synopsis [memory.syn] C++N4910:2022 (420) p578.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 <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cassert>
#include <coroutine>
#include <vector>
#include <complex>
#include <map>
#include <atomic>
#include <unordered_map>
#include <typeinfo>
#include <memory>

using namespace std;

// Example 1
#include <compare> // see 17.11.1
namespace std {
// 20.2.3, pointer traits
template<class Ptr> struct pointer_traits;
template<class T> struct pointer_traits<T*>;
// 20.2.4, pointer conversion
template<class T>
constexpr T* to_address(T* p) noexcept;
template<class Ptr>
constexpr auto to_address(const Ptr& p) noexcept;
// 20.2.5, pointer alignment
void* align(size_t alignment, size_t size, void*& ptr, size_t& space);
template<size_t N, class T>
[[nodiscard]] constexpr T* assume_aligned(T* ptr);
// This Clause describes components for memory management.
// The following subclauses describe general memory management facilities, smart pointers, memory resources,and scoped allocators, as summarized in Table 42.
// 20.2.6, allocator argument tag
struct allocator_arg_t {
    explicit allocator_arg_t() = default;
};
inline constexpr allocator_arg_t allocator_arg{};
// 20.2.7, uses_allocator
template<class T, class Alloc> struct uses_allocator;
// 20.2.7.1, uses_allocator
template<class T, class Alloc>
inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
// 20.2.7.2, uses-allocator construction
template<class T, class Alloc, class... Args>
constexpr auto uses_allocator_construction_args(const Alloc& alloc,
        Args&&... args) noexcept;
template<class T, class Alloc, class Tuple1, class Tuple2>
constexpr auto uses_allocator_construction_args(const Alloc& alloc, piecewise_construct_t,
        Tuple1&& x, Tuple2&& y) noexcept;
template<class T, class Alloc>
constexpr auto uses_allocator_construction_args(const Alloc& alloc) noexcept;
template<class T, class Alloc, class U, class V>
constexpr auto uses_allocator_construction_args(const Alloc& alloc,
        U&& u, V&& v) noexcept;
template<class T, class Alloc, class U, class V>
constexpr auto uses_allocator_construction_args(const Alloc& alloc,
        pair<U, V>& pr) noexcept;
template<class T, class Alloc, class U, class V>
constexpr auto uses_allocator_construction_args(const Alloc& alloc,
        const pair<U, V>& pr) noexcept;
template<class T, class Alloc, class U, class V>
constexpr auto uses_allocator_construction_args(const Alloc& alloc,
        pair<U, V>&& pr) noexcept;
template<class T, class Alloc, class U, class V>
constexpr auto uses_allocator_construction_args(const Alloc& alloc,
        const pair<U, V>&& pr) noexcept;
template<class T, class Alloc, class U>
constexpr auto uses_allocator_construction_args(const Alloc& alloc, U&& u) noexcept;
template<class T, class Alloc, class... Args>
constexpr T make_obj_using_allocator(const Alloc& alloc, Args&&... args);
template<class T, class Alloc, class... Args>
constexpr T* uninitialized_construct_using_allocator(T* p, const Alloc& alloc,
        Args&&... args);
// 20.2.8, allocator traits
template<class Alloc> struct allocator_traits;
template<class Pointer>
struct allocation_result {
    Pointer ptr;
    size_t count;
};
template<class Allocator>
[[nodiscard] constexpr allocation_result<typename allocator_traits<Allocator>::pointer>
             allocate_at_least(Allocator& a, size_t n);
// 20.2.9, the default allocator
             template<class T> class allocator;
             template<class T, class U>
             constexpr bool operator==(const allocator<T>&, const allocator<U>&) noexcept;
// 20.2.10, addressof
             template<class T>
             constexpr T* addressof(T& r) noexcept;
             template<class T>
             const T* addressof(const T&&) = delete;
// 27.11, specialized algorithms
// 27.11.2, special memory concepts
             template<class I>
             concept nothrow-input-iterator = see below ; template<class I>
// exposition only // exposition only // exposition only // exposition only // exposition only
             concept nothrow-forward-iterator = see_below;
             template<class S, class I>
             concept nothrow-sentinel-for = see_below;
             template<class R>
             concept nothrow-input-range = see_below;
             template<class R>
             concept nothrow-forward-range = see_below ;
             template<class NoThrowForwardIterator>
             void uninitialized_default_construct(NoThrowForwardIterator first,
                                      NoThrowForwardIterator last);
             template<class ExecutionPolicy, class NoThrowForwardIterator>
             void uninitialized_default_construct(ExecutionPolicy&& exec,
                                      NoThrowForwardIterator first,
                                      NoThrowForwardIterator last);
             template<class NoThrowForwardIterator, class Size>
             NoThrowForwardIterator
// see 27.3.5
             uninitialized_default_construct_n(NoThrowForwardIterator first, Size n);
             template<class ExecutionPolicy, class NoThrowForwardIterator, class Size>
             NoThrowForwardIterator
             uninitialized_default_construct_n(ExecutionPolicy&& exec, // see 27.3.5
                                   NoThrowForwardIterator first, Size n);
            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);
    template<nothrow-forward-iterator I>
    requires default_initializable<iter_value_t<I>>
            I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
}
template<class NoThrowForwardIterator>
void uninitialized_value_construct(NoThrowForwardIterator first,
                                   NoThrowForwardIterator last);
template<class ExecutionPolicy, class NoThrowForwardIterator>
void uninitialized_value_construct(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, NoThrowForwardIterator last);
                                   template<class NoThrowForwardIterator, class Size>
                                   NoThrowForwardIterator
                                   uninitialized_value_construct_n(NoThrowForwardIterator first, Size n);
                                   template<class ExecutionPolicy, class NoThrowForwardIterator, class Size>
                                   NoThrowForwardIterator uninitialized_value_construct_n(ExecutionPolicy&& exec, // see 27.3.5
                                           NoThrowForwardIterator first, Size n);
namespace ranges {
    template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
             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<nothrow-forward-iterator I>
    requires default_initializable<iter_value_t<I>>
    I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
}
template<class InputIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
        NoThrowForwardIterator result);
template<class ExecutionPolicy, class ForwardIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy(ExecutionPolicy&& exec, // see 27.3.5 ForwardIterator first, ForwardIterator last,
        NoThrowForwardIterator result);
template<class InputIterator, class Size, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy_n(InputIterator first, Size n,
        NoThrowForwardIterator result);
template<class ExecutionPolicy, class ForwardIterator, class Size,
         class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_copy_n(ExecutionPolicy&& exec, // see 27.3.5 ForwardIterator first, Size n,
        NoThrowForwardIterator result);
namespace ranges {
    template<class I, class O>
    using uninitialized_copy_result = in_out_result<I, O>;
    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>>
    uninitialized_copy(IR&& in_range, OR&& out_range);
    template<class I, class O>
    using uninitialized_copy_n_result = in_out_result<I, O>;
    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);
}
template<class InputIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_move(InputIterator first, InputIterator last,
        NoThrowForwardIterator result);
template<class ExecutionPolicy, class ForwardIterator, class NoThrowForwardIterator>
NoThrowForwardIterator uninitialized_move(ExecutionPolicy&& exec, // see 27.3.5 ForwardIterator first, ForwardIterator last,
        NoThrowForwardIterator result);
template<class InputIterator, class Size, class NoThrowForwardIterator>
pair<InputIterator, NoThrowForwardIterator>
uninitialized_move_n(InputIterator first, Size n, NoThrowForwardIterator result);
template<class ExecutionPolicy, class ForwardIterator, class Size,
         class NoThrowForwardIterator>
pair<ForwardIterator, NoThrowForwardIterator> uninitialized_move_n(ExecutionPolicy&& exec, // see 27.3.5
        ForwardIterator first, Size n, NoThrowForwardIterator result);
namespace ranges {
    template<class I, class O>
    using uninitialized_move_result = in_out_result<I, O>;
    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>>
    uninitialized_move(IR&& in_range, OR&& out_range);
    template<class I, class O>
    using uninitialized_move_n_result = in_out_result<I, O>;
    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);
}
template<class NoThrowForwardIterator, class T>
void uninitialized_fill(NoThrowForwardIterator first, NoThrowForwardIterator last,
                        const T& x);
template<class ExecutionPolicy, class NoThrowForwardIterator, class T>
void uninitialized_fill(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, NoThrowForwardIterator last,
                        const T& x);
template<class NoThrowForwardIterator, class Size, class T>
NoThrowForwardIterator
uninitialized_fill_n(NoThrowForwardIterator first, Size n, const T& x);
template<class ExecutionPolicy, class NoThrowForwardIterator, class Size, class T>
NoThrowForwardIterator
uninitialized_fill_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n,
                     const T& 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<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);
}
// 27.11.8, construct_at
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);
}
// 27.11.9, destroy
template<class T>
constexpr void destroy_at(T* location);
template<class NoThrowForwardIterator>
constexpr void destroy(NoThrowForwardIterator first, NoThrowForwardIterator last);
template<class ExecutionPolicy, class NoThrowForwardIterator>
void destroy(ExecutionPolicy&& exec, // see 27.3.5
             NoThrowForwardIterator first, NoThrowForwardIterator last);
template<class NoThrowForwardIterator, class Size>
constexpr NoThrowForwardIterator destroy_n(NoThrowForwardIterator first, Size n); template<class ExecutionPolicy, class NoThrowForwardIterator, class Size> NoThrowForwardIterator destroy_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n);
namespace ranges {
    template<destructible T>
    constexpr void destroy_at(T* location) noexcept;
    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<nothrow-input-iterator I> requires destructible<iter_value_t<I>>
    constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
}
// 20.3.1, class
template unique_ptr
template<class T> struct default_delete;
template<class T> struct default_delete<T[]>;
template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
template<class T, class... Args>
constexpr unique_ptr<T> make_unique(Args&&... args);
template<class T>
constexpr unique_ptr<T> make_unique(size_t n);
template<class T, class... Args>
unspecified make_unique(Args&&...) = delete;
template<class T>
constexpr unique_ptr<T> make_unique_for_overwrite();
template<class T>
constexpr unique_ptr<T> make_unique_for_overwrite(size_t n);
template<class T, class... Args>
unspecified make_unique_for_overwrite(Args&&...) = delete;
template<class T, class D>
constexpr void swap(unique_ptr<T, D>& x, unique_ptr<T, D>& y) noexcept;
template<class T1, class D1, class T2, class D2>
constexpr bool operator==(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
template<class T1, class D1, class T2, class D2>
bool operator<(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
              template<class T1, class D1, class T2, class D2>
              bool operator>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
template<class T1, class D1, class T2, class D2>
bool operator<=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
              template<class T1, class D1, class T2, class D2>
              bool operator>=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
              template<class T1, class D1, class T2, class D2>
              requires three_way_comparable_with<typename unique_ptr<T1, D1>::pointer,
                      typename unique_ptr<T2, D2>::pointer>
              compare_three_way_result_t<typename unique_ptr<T1, D1>::pointer,
                      typename unique_ptr<T2, D2>::pointer>
              operator<=>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
// T is not array //TisU[] //TisU[N]
// T is not array //TisU[] //TisU[N]
              template<class T, class D>
              constexpr bool operator==(const unique_ptr<T, D>& x, nullptr_t) noexcept;
              template<class T, class D>
              constexpr bool operator<(const unique_ptr<T, D>& x, nullptr_t);
                                      template<class T, class D>
                                      constexpr bool operator<(nullptr_t, const unique_ptr<T, D>& y);
                                              template<class T, class D>
                                              constexpr bool operator>(const unique_ptr<T, D>& x, nullptr_t);
                                      template<class T, class D>
                                      constexpr bool operator>(nullptr_t, const unique_ptr<T, D>& y);
              template<class T, class D>
              constexpr bool operator<=(const unique_ptr<T, D>& x, nullptr_t);
                                      template<class T, class D>
                                      constexpr bool operator<=(nullptr_t, const unique_ptr<T, D>& y);
                                              template<class T, class D>
                                              constexpr bool operator>=(const unique_ptr<T, D>& x, nullptr_t);
                                              template<class T, class D>
                                              constexpr bool operator>=(nullptr_t, const unique_ptr<T, D>& y);
                                              template<class T, class D>
                                              requires three_way_comparable<typename unique_ptr<T, D>::pointer>
                                              constexpr compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
                                              operator<=>(const unique_ptr<T, D>& x, nullptr_t);
                                              template<class E, class T, class Y, class D>
                                              basic_ostream<E, T>& operator<<(basic_ostream<E, T>& os, const unique_ptr<Y, D>& p);
// 20.3.2.1, class bad_weak_ptr
                                                      class bad_weak_ptr;
// 20.3.2.2, class template shared_ptr
                                                      template<class T> class shared_ptr;
// 20.3.2.2.7, shared_ptr creation
                                                      template<class T, class... Args>
                                                      shared_ptr<T> make_shared(Args&&... args);
                                                      template<class T, class A, class... Args>
                                                      shared_ptr<T> allocate_shared(const A& a, Args&&... args);
                                                      template<class T>
                                                      shared_ptr<T> make_shared(size_t N);
                                                      template<class T, class A>
                                                      shared_ptr<T> allocate_shared(const A& a, size_t N);
                                                      template<class T>
                                                      shared_ptr<T> make_shared();
                                                      template<class T, class A>
                                                      shared_ptr<T> allocate_shared(const A& a);
                                                      template<class T>
                                                      shared_ptr<T> make_shared(size_t N, const remove_extent_t<T>& u);
                                                      template<class T, class A>
                                                      shared_ptr<T> allocate_shared(const A& a, size_t N,
                                                              const remove_extent_t<T>& u);
                                                      template<class T>
                                                      shared_ptr<T> make_shared(const remove_extent_t<T>& u);
                                                      template<class T, class A>
                                                      shared_ptr<T> allocate_shared(const A& a, const remove_extent_t<T>& u);
                                                      template<class T>
                                                      shared_ptr<T> make_shared_for_overwrite();
                                                      template<class T, class A>
                                                      shared_ptr<T> allocate_shared_for_overwrite(const A& a);
// T is not array // T is not array
//TisU[] //TisU[]
//TisU[N] //TisU[N]
// T is U[]
// T is U[]
// T is U[N] // T is U[N]
// T is not U[] // T is not U[]
                                                      template<class T>
                                                      shared_ptr<T> make_shared_for_overwrite(size_t N);
                                                      template<class T, class A>
                                                      shared_ptr<T> allocate_shared_for_overwrite(const A& a, size_t N);
// 20.3.2.2.8, shared_ptr comparisons
                                                      template<class T, class U>
                                                      bool operator==(const shared_ptr<T>& a, const shared_ptr<U>& b) noexcept;
                                                      template<class T, class U>
// T is U[] // T is U[]
                                                      strong_ordering operator<=>(const shared_ptr<T>& a, const shared_ptr<U>& b) noexcept;
                                                      template<class T>
                                                      bool operator==(const shared_ptr<T>& x, nullptr_t) noexcept;
                                                      template<class T>
                                                      strong_ordering operator<=>(const shared_ptr<T>& x, nullptr_t) noexcept;
// 20.3.2.2.9, shared_ptr specialized algorithms
                                                      template<class T>
                                                      void swap(shared_ptr<T>& a, shared_ptr<T>& b) noexcept;
// 20.3.2.2.10, shared_ptr casts
                                                      template<class T, class U>
                                                      shared_ptr<T> static_pointer_cast(const shared_ptr<U>& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> static_pointer_cast(shared_ptr<U>&& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> dynamic_pointer_cast(const shared_ptr<U>& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> dynamic_pointer_cast(shared_ptr<U>&& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> const_pointer_cast(const shared_ptr<U>& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> const_pointer_cast(shared_ptr<U>&& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> reinterpret_pointer_cast(const shared_ptr<U>& r) noexcept;
                                                      template<class T, class U>
                                                      shared_ptr<T> reinterpret_pointer_cast(shared_ptr<U>&& r) noexcept;
// 20.3.2.2.11, shared_ptr get_deleter
                                                      template<class D, class T>
                                                      D* get_deleter(const shared_ptr<T>& p) noexcept;
// 20.3.2.2.12, shared_ptr I/O
                                                      template<class E, class T, class Y>
                                                      basic_ostream<E, T>& operator<<(basic_ostream<E, T>& os, const shared_ptr<Y>& p);
// 20.3.2.3, class template weak_ptr
                                                              template<class T> class weak_ptr;
// 20.3.2.3.7, weak_ptr specialized algorithms
                                                              template<class T> void swap(weak_ptr<T>& a, weak_ptr<T>& b) noexcept;
// 20.3.2.4, class template owner_less
                                                              template<class T = void> struct owner_less;
// 20.3.2.5, class template enable_shared_from_this
                                                              template<class T> class enable_shared_from_this;
// 20.3.3, hash support
                                                              template<class T> struct hash;
                                                              template<class T, class D> struct hash<unique_ptr<T, D>>; template<class T> struct hash<shared_ptr<T>>;
// Type: Ptr::element_type if the qualified-id Ptr::element_type is valid and denotes a type (13.10.3); otherwise, T if Ptr is a class template instantiation of the form SomePointer<T, Args>, where Args is zero or more type arguments; otherwise, the specialization is ill-formed.
// 33.5.8.7, atomic smart pointers
                                                              template<class T> struct atomic;
                                                              template<class T> struct atomic<shared_ptr<T>>; template<class T> struct atomic<weak_ptr<T>>;
// 20.3.4.1, class template out_ptr_t
                                                              template<class Smart, class Pointer, class... Args>
                                                              class out_ptr_t;
// 20.3.4.2, function template out_ptr
                                                              template<class Pointer = void, class Smart, class... Args>
                                                              auto out_ptr(Smart& s, Args&&... args);
// 20.3.4.3, class template inout_ptr_t
                                                              template<class Smart, class Pointer, class... Args>
                                                              class inout_ptr_t;
// 20.3.4.4, function template inout_ptr
                                                              template<class Pointer = void, class Smart, class... Args>
                                                              auto inout_ptr(Smart& s, Args&&... args);
}
int main() {
    cout  <<  n4910 << endl;
    return EXIT_SUCCESS;
}

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

bash

$ clang++ p578.cpp -std=c++03 -o p578l -I. -Wall
In file included from p578.cpp:19:
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 \
 ^
p578.cpp:34:7: error: unknown type name 'constexpr'
      constexpr T* to_address(T* p) noexcept;
      ^
p578.cpp:34:17: warning: variable templates are a C++14 extension [-Wc++14-extensions]
      constexpr T* to_address(T* p) noexcept;
                ^
p578.cpp:34:18: error: expected ';' at end of declaration
      constexpr T* to_address(T* p) noexcept;
                 ^
                 ;
p578.cpp:34:20: error: C++ requires a type specifier for all declarations
      constexpr T* to_address(T* p) noexcept;
                   ^
p578.cpp:34:34: error: use of undeclared identifier 'p'
      constexpr T* to_address(T* p) noexcept;
                                 ^
p578.cpp:34:36: error: expected ';' after top level declarator
      constexpr T* to_address(T* p) noexcept;
                                   ^
                                   ;
p578.cpp:36:7: error: unknown type name 'constexpr'
      constexpr auto to_address(const Ptr& p) noexcept;
      ^
p578.cpp:36:17: error: illegal storage class on function
      constexpr auto to_address(const Ptr& p) noexcept;
                ^
p578.cpp:36:46: error: expected ';' at end of declaration
      constexpr auto to_address(const Ptr& p) noexcept;
                                             ^
                                             ;
p578.cpp:36:47: error: C++ requires a type specifier for all declarations
      constexpr auto to_address(const Ptr& p) noexcept;
                                              ^
p578.cpp:39:8: error: expected expression
      [[nodiscard]] constexpr T* assume_aligned(T* ptr);
       ^
p578.cpp:39:21: error: C++ requires a type specifier for all declarations
      [[nodiscard]] constexpr T* assume_aligned(T* ptr);
                    ^
p578.cpp:39:21: warning: variable templates are a C++14 extension [-Wc++14-extensions]
p578.cpp:39:30: error: expected ';' at end of declaration
      [[nodiscard]] constexpr T* assume_aligned(T* ptr);
                             ^
                             ;
p578.cpp:39:31: error: unknown type name 'T'
      [[nodiscard]] constexpr T* assume_aligned(T* ptr);
                              ^
p578.cpp:39:52: error: use of undeclared identifier 'ptr'
      [[nodiscard]] constexpr T* assume_aligned(T* ptr);
                                                   ^
p578.cpp:43:55: warning: defaulted function definitions are a C++11 extension [-Wc++11-extensions]
struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
                                                      ^
p578.cpp:43:74: error: unknown type name 'constexpr'
struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
                                                                         ^
p578.cpp:43:67: warning: inline variables are a C++17 extension [-Wc++17-extensions]
struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
                                                                  ^
p578.cpp:43:99: error: expected ';' after top level declarator
struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
                                                                                                  ^
                                                                                                  ;
p578.cpp:48:10: error: unknown type name 'constexpr'
  inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
         ^
p578.cpp:48:25: warning: variable templates are a C++14 extension [-Wc++14-extensions]
  inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
                        ^
p578.cpp:48:3: warning: inline variables are a C++17 extension [-Wc++17-extensions]
  inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
  ^
p578.cpp:50:37: warning: variadic templates are a C++11 extension [-Wc++11-extensions]
template<class T, class Alloc, class... Args>
                                    ^
p578.cpp:51:3: error: unknown type name 'constexpr'
  constexpr auto uses_allocator_construction_args(const Alloc& alloc,
  ^
p578.cpp:52:55: warning: rvalue references are a C++11 extension [-Wc++11-extensions]
                                                  Args&&... args) noexcept;
                                                      ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
8 warnings and 20 errors generated.
rm: cannot remove 'p578l': No such file or directory
$ clang++ p578.cpp -std=c++2b -o p578l -I. -Wall
p578.cpp:38:7: error: 'align' is missing exception specification 'noexcept'
void* align(size_t alignment, size_t size, void*& ptr, size_t& space); template<size_t N, class T>
      ^
                                                                      noexcept
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/memory:123:1: note: previous declaration is here
align(size_t __align, size_t __size, void*& __ptr, size_t& __space) noexcept
^
p578.cpp:39:34: error: 'assume_aligned' is missing exception specification 'noexcept'
      [[nodiscard]] constexpr T* assume_aligned(T* ptr);
                                 ^
                                                        noexcept
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/memory:197:5: note: previous declaration is here
    assume_aligned(_Tp* __ptr) noexcept
    ^
p578.cpp:43:8: error: redefinition of 'allocator_arg_t'
struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
       ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/bits/uses_allocator.h:50:10: note: previous definition is here
  struct allocator_arg_t { explicit allocator_arg_t() = default; };
         ^
p578.cpp:43:100: error: redefinition of 'allocator_arg'
struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
                                                                                                   ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/bits/uses_allocator.h:52:47: note: previous definition is here
  _GLIBCXX17_INLINE constexpr allocator_arg_t allocator_arg =
                                              ^
p578.cpp:48:25: error: redefinition of 'uses_allocator_v'
  inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
                        ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/bits/uses_allocator.h:127:27: note: previous definition is here
    inline constexpr bool uses_allocator_v =
                          ^
p578.cpp:76:15: error: constexpr declaration of 'make_obj_using_allocator' follows non-constexpr declaration
  constexpr T make_obj_using_allocator(const Alloc& alloc, Args&&... args);
              ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/memory:390:5: note: previous declaration is here
    make_obj_using_allocator(const _Alloc& __a, _Args&&... __args)
    ^
p578.cpp:78:16: error: constexpr declaration of 'uninitialized_construct_using_allocator' follows non-constexpr declaration
  constexpr T* uninitialized_construct_using_allocator(T* p, const Alloc& alloc,
               ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/memory:399:5: note: previous declaration is here
    uninitialized_construct_using_allocator(_Tp* __p, const _Alloc& __a,
    ^
p578.cpp:88:15: error: expected ']'
  [[nodiscard] constexpr allocation_result<typename allocator_traits<Allocator>::pointer>
              ^
              ]
p578.cpp:439:1: error: expected unqualified-id
}
^
9 errors generated.

$ g++ p578.cpp -std=c++03 -o p578g -I. -Wall
In file included from /usr/local/include/c++/12.1.0/atomic:38,
                 from p578.cpp:19:
/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 \
      |  ^~~~~
p578.cpp:34:7: warning: identifier 'constexpr' is a keyword in C++11 [-Wc++11-compat]
   34 |       constexpr T* to_address(T* p) noexcept;
      |       ^~~~~~~~~
p578.cpp:34:37: warning: identifier 'noexcept' is a keyword in C++11 [-Wc++11-compat]
   34 |       constexpr T* to_address(T* p) noexcept;
      |                                     ^~~~~~~~
p578.cpp:34:7: error: 'constexpr' does not name a type
   34 |       constexpr T* to_address(T* p) noexcept;
      |       ^~~~~~~~~
p578.cpp:34:7: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:36:7: error: 'constexpr' does not name a type
   36 |       constexpr auto to_address(const Ptr& p) noexcept;
      |       ^~~~~~~~~
p578.cpp:36:7: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:39:7: error: expected unqualified-id before '[' token
   39 |       [[nodiscard]] constexpr T* assume_aligned(T* ptr);
      |       ^
p578.cpp:43:55: warning: defaulted and deleted functions only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
   43 | struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
      |                                                       ^~~~~~~
p578.cpp:43:74: error: 'constexpr' does not name a type
   43 | struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
      |                                                                          ^~~~~~~~~
p578.cpp:43:74: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:48:10: error: 'constexpr' does not name a type
   48 |   inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
      |          ^~~~~~~~~
p578.cpp:48:10: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:50:37: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
   50 | template<class T, class Alloc, class... Args>
      |                                     ^~~
p578.cpp:51:3: error: 'constexpr' does not name a type
   51 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:51:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:54:3: error: 'constexpr' does not name a type
   54 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc, piecewise_construct_t,
      |   ^~~~~~~~~
p578.cpp:54:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:57:3: error: 'constexpr' does not name a type
   57 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc) noexcept;
      |   ^~~~~~~~~
p578.cpp:57:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:59:3: error: 'constexpr' does not name a type
   59 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:59:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:62:3: error: 'constexpr' does not name a type
   62 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:62:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:65:3: error: 'constexpr' does not name a type
   65 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:65:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:68:3: error: 'constexpr' does not name a type
   68 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:68:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:71:3: error: 'constexpr' does not name a type
   71 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:71:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:74:3: error: 'constexpr' does not name a type
   74 |   constexpr auto uses_allocator_construction_args(const Alloc& alloc, U&& u) noexcept;
      |   ^~~~~~~~~
p578.cpp:74:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:75:37: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
   75 | template<class T, class Alloc, class... Args>
      |                                     ^~~
p578.cpp:76:3: error: 'constexpr' does not name a type
   76 |   constexpr T make_obj_using_allocator(const Alloc& alloc, Args&&... args);
      |   ^~~~~~~~~
p578.cpp:76:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:77:37: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
   77 | template<class T, class Alloc, class... Args>
      |                                     ^~~
p578.cpp:78:3: error: 'constexpr' does not name a type
   78 |   constexpr T* uninitialized_construct_using_allocator(T* p, const Alloc& alloc,
      |   ^~~~~~~~~
p578.cpp:78:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:88:3: error: expected unqualified-id before '[' token
   88 |   [[nodiscard] constexpr allocation_result<typename allocator_traits<Allocator>::pointer>
      |   ^
p578.cpp:93:3: error: 'constexpr' does not name a type
   93 |   constexpr bool operator==(const allocator<T>&, const allocator<U>&) noexcept;
      |   ^~~~~~~~~
p578.cpp:93:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:96:3: error: 'constexpr' does not name a type
   96 |   constexpr T* addressof(T& r) noexcept;
      |   ^~~~~~~~~
p578.cpp:96:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:98:29: error: expected ',' or '...' before '&&' token
   98 |   const T* addressof(const T&&) = delete;
      |                             ^~
p578.cpp:98:35: warning: defaulted and deleted functions only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
   98 |   const T* addressof(const T&&) = delete;
      |                                   ^~~~~~
p578.cpp:102:1: error: 'concept' does not name a type
  102 | concept nothrow-input-iterator = see below ; template<class I>
      | ^~~~~~~
p578.cpp:102:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p578.cpp:104:1: error: 'concept' does not name a type
  104 | concept nothrow-forward-iterator = see_below;
      | ^~~~~~~
p578.cpp:104:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p578.cpp:106:1: error: 'concept' does not name a type
  106 | concept nothrow-sentinel-for = see_below;
      | ^~~~~~~
p578.cpp:106:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p578.cpp:108:1: error: 'concept' does not name a type
  108 | concept nothrow-input-range = see_below;
      | ^~~~~~~
p578.cpp:108:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p578.cpp:110:1: error: 'concept' does not name a type
  110 | concept nothrow-forward-range = see_below ;
      | ^~~~~~~
p578.cpp:110:1: note: 'concept' only available with '-std=c++20' or '-fconcepts'
p578.cpp:115:55: error: expected ',' or '...' before '&&' token
  115 |   void uninitialized_default_construct(ExecutionPolicy&& exec,
      |                                                       ^~
p578.cpp:124:50: error: expected ',' or '...' before '&&' token
  124 | uninitialized_default_construct_n(ExecutionPolicy&& exec, // see 27.3.5
      |                                                  ^~
p578.cpp:127:10: error: 'nothrow' is not a type
  127 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I> S>
      |          ^~~~~~~
p578.cpp:127:17: error: expected '>' before '-' token
  127 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I> S>
      |                 ^
p578.cpp:128:5: error: 'requires' does not name a type
  128 |     requires default_initializable<iter_value_t<I>>
      |     ^~~~~~~~
p578.cpp:128:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:130:10: error: 'nothrow' is not a type
  130 | template<nothrow-forward-range R>
      |          ^~~~~~~
p578.cpp:130:17: error: expected '>' before '-' token
  130 | template<nothrow-forward-range R>
      |                 ^
p578.cpp:131:1: error: 'requires' does not name a type
  131 | requires default_initializable<range_value_t<R>>
      | ^~~~~~~~
p578.cpp:131:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:133:10: error: 'nothrow' is not a type
  133 | template<nothrow-forward-iterator I>
      |          ^~~~~~~
p578.cpp:133:17: error: expected '>' before '-' token
  133 | template<nothrow-forward-iterator I>
      |                 ^
p578.cpp:134:1: error: 'requires' does not name a type
  134 | requires default_initializable<iter_value_t<I>>
      | ^~~~~~~~
p578.cpp:134:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:141:51: error: expected ',' or '...' before '&&' token
  141 | void uninitialized_value_construct(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, NoThrowForwardIterator last);
      |                                                   ^~
p578.cpp:144:74: error: expected ')' before ';' token
  144 |     uninitialized_value_construct_n(NoThrowForwardIterator first, Size n);
      |                                                                          ^
      |                                                                          )
p578.cpp:141:35: note: to match this '('
  141 | void uninitialized_value_construct(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, NoThrowForwardIterator last);
      |                                   ^
p578.cpp:146:71: error: expected ',' or '...' before '&&' token
  146 | NoThrowForwardIterator uninitialized_value_construct_n(ExecutionPolicy&& exec, // see 27.3.5
      |                                                                       ^~
p578.cpp:149:10: error: 'nothrow' is not a type
  149 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |          ^~~~~~~
p578.cpp:149:17: error: expected '>' before '-' token
  149 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |                 ^
p578.cpp:151:55: error: expected unqualified-id before ';' token
  151 |       I uninitialized_value_construct(I first, S last);
      |                                                       ^
p578.cpp:152:10: error: 'nothrow' is not a type
  152 | template<nothrow-forward-range R>
      |          ^~~~~~~
p578.cpp:152:17: error: expected '>' before '-' token
  152 | template<nothrow-forward-range R>
      |                 ^
p578.cpp:153:1: error: 'requires' does not name a type
  153 | requires default_initializable<range_value_t<R>>
      | ^~~~~~~~
p578.cpp:153:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:155:10: error: 'nothrow' is not a type
  155 | template<nothrow-forward-iterator I>
      |          ^~~~~~~
p578.cpp:155:17: error: expected '>' before '-' token
  155 | template<nothrow-forward-iterator I>
      |                 ^
p578.cpp:156:1: error: 'requires' does not name a type
  156 | requires default_initializable<iter_value_t<I>>
      | ^~~~~~~~
p578.cpp:156:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:163:58: error: expected ',' or '...' before '&&' token
  163 | NoThrowForwardIterator uninitialized_copy(ExecutionPolicy&& exec, // see 27.3.5 ForwardIterator first, ForwardIterator last,
      |                                                          ^~
p578.cpp:170:60: error: expected ',' or '...' before '&&' token
  170 | NoThrowForwardIterator uninitialized_copy_n(ExecutionPolicy&& exec, // see 27.3.5 ForwardIterator first, Size n,
      |                                                            ^~
p578.cpp:174:5: error: expected unqualified-id before 'using'
  174 |     using uninitialized_copy_result = in_out_result<I, O>;
      |     ^~~~~
p578.cpp:175:12: error: 'input_iterator' has not been declared
  175 |   template<input_iterator I, sentinel_for<I> S1,
      |            ^~~~~~~~~~~~~~
p578.cpp:175:30: error: 'sentinel_for' has not been declared
  175 |   template<input_iterator I, sentinel_for<I> S1,
      |                              ^~~~~~~~~~~~
p578.cpp:175:42: error: expected '>' before '<' token
  175 |   template<input_iterator I, sentinel_for<I> S1,
      |                                          ^
p578.cpp:176:58: error: 'requires' does not name a type
  176 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                          ^~~~~~~~
p578.cpp:176:58: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:179:10: error: 'input_range' has not been declared
  179 | template<input_range IR, nothrow-forward-range OR>
      |          ^~~~~~~~~~~
p578.cpp:179:26: error: 'nothrow' is not a type
  179 | template<input_range IR, nothrow-forward-range OR>
      |                          ^~~~~~~
p578.cpp:179:33: error: expected '>' before '-' token
  179 | template<input_range IR, nothrow-forward-range OR>
      |                                 ^
p578.cpp:180:1: error: 'requires' does not name a type
  180 | requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      | ^~~~~~~~
p578.cpp:180:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:184:5: error: expected unqualified-id before 'using'
  184 |     using uninitialized_copy_n_result = in_out_result<I, O>;
      |     ^~~~~
p578.cpp:185:10: error: 'input_iterator' has not been declared
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |          ^~~~~~~~~~~~~~
p578.cpp:185:28: error: 'nothrow' is not a type
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                            ^~~~~~~
p578.cpp:185:35: error: expected '>' before '-' token
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                   ^
p578.cpp:185:84: error: 'requires' does not name a type
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                                    ^~~~~~~~
p578.cpp:185:84: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:193:58: error: expected ',' or '...' before '&&' token
  193 | NoThrowForwardIterator uninitialized_move(ExecutionPolicy&& exec, // see 27.3.5 ForwardIterator first, ForwardIterator last,
      |                                                          ^~
p578.cpp:200:83: error: expected ',' or '...' before '&&' token
  200 | pair<ForwardIterator, NoThrowForwardIterator> uninitialized_move_n(ExecutionPolicy&& exec, // see 27.3.5
      |                                                                                   ^~
p578.cpp:204:5: error: expected unqualified-id before 'using'
  204 |     using uninitialized_move_result = in_out_result<I, O>;
      |     ^~~~~
p578.cpp:205:12: error: 'input_iterator' has not been declared
  205 |   template<input_iterator I, sentinel_for<I> S1,
      |            ^~~~~~~~~~~~~~
p578.cpp:205:30: error: 'sentinel_for' has not been declared
  205 |   template<input_iterator I, sentinel_for<I> S1,
      |                              ^~~~~~~~~~~~
p578.cpp:205:42: error: expected '>' before '<' token
  205 |   template<input_iterator I, sentinel_for<I> S1,
      |                                          ^
p578.cpp:207:1: error: 'requires' does not name a type
  207 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      | ^~~~~~~~
p578.cpp:207:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:210:10: error: 'input_range' has not been declared
  210 | template<input_range IR, nothrow-forward-range OR>
      |          ^~~~~~~~~~~
p578.cpp:210:26: error: 'nothrow' is not a type
  210 | template<input_range IR, nothrow-forward-range OR>
      |                          ^~~~~~~
p578.cpp:210:33: error: expected '>' before '-' token
  210 | template<input_range IR, nothrow-forward-range OR>
      |                                 ^
p578.cpp:211:1: error: 'requires' does not name a type
  211 | requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      | ^~~~~~~~
p578.cpp:211:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:215:5: error: expected unqualified-id before 'using'
  215 |     using uninitialized_move_n_result = in_out_result<I, O>;
      |     ^~~~~
p578.cpp:216:10: error: 'input_iterator' has not been declared
  216 | template<input_iterator I,
      |          ^~~~~~~~~~~~~~
p578.cpp:217:1: error: 'nothrow' is not a type
  217 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S>
      | ^~~~~~~
p578.cpp:217:8: error: expected '>' before '-' token
  217 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S>
      |        ^
p578.cpp:218:5: error: 'requires' does not name a type
  218 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |     ^~~~~~~~
p578.cpp:218:5: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:226:40: error: expected ',' or '...' before '&&' token
  226 | void uninitialized_fill(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, NoThrowForwardIterator last,
      |                                        ^~
p578.cpp:233:37: error: expected ',' or '...' before '&&' token
  233 | uninitialized_fill_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n,
      |                                     ^~
p578.cpp:236:10: error: 'nothrow' is not a type
  236 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |          ^~~~~~~
p578.cpp:236:17: error: expected '>' before '-' token
  236 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |                 ^
p578.cpp:238:3: error: 'requires' does not name a type
  238 |   requires constructible_from<iter_value_t<I>, const T&>
      |   ^~~~~~~~
p578.cpp:238:3: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:240:10: error: 'nothrow' is not a type
  240 | template<nothrow-forward-range R, class T>
      |          ^~~~~~~
p578.cpp:240:17: error: expected '>' before '-' token
  240 | template<nothrow-forward-range R, class T>
      |                 ^
p578.cpp:241:1: error: 'requires' does not name a type
  241 | requires constructible_from<range_value_t<R>, const T&>
      | ^~~~~~~~
p578.cpp:241:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:243:10: error: 'nothrow' is not a type
  243 | template<nothrow-forward-iterator I, class T>
      |          ^~~~~~~
p578.cpp:243:17: error: expected '>' before '-' token
  243 | template<nothrow-forward-iterator I, class T>
      |                 ^
p578.cpp:244:1: error: 'requires' does not name a type
  244 | requires constructible_from<iter_value_t<I>, const T&>
      | ^~~~~~~~
p578.cpp:244:1: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:248:24: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  248 | template<class T, class... Args>
      |                        ^~~
p578.cpp:249:3: error: 'constexpr' does not name a type
  249 |   constexpr T* construct_at(T* location, Args&&... args);
      |   ^~~~~~~~~
p578.cpp:249:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:251:26: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  251 |   template<class T, class... Args>
      |                          ^~~
p578.cpp:252:5: error: 'constexpr' does not name a type
  252 |     constexpr T* construct_at(T* location, Args&&... args);
      |     ^~~~~~~~~
p578.cpp:252:5: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:256:3: error: 'constexpr' does not name a type
  256 |   constexpr void destroy_at(T* location);
      |   ^~~~~~~~~
p578.cpp:256:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:258:3: error: 'constexpr' does not name a type
  258 |   constexpr void destroy(NoThrowForwardIterator first, NoThrowForwardIterator last);
      |   ^~~~~~~~~
p578.cpp:258:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:260:29: error: expected ',' or '...' before '&&' token
  260 | void destroy(ExecutionPolicy&& exec, // see 27.3.5
      |                             ^~
p578.cpp:263:1: error: 'constexpr' does not name a type
  263 | constexpr NoThrowForwardIterator destroy_n(NoThrowForwardIterator first, Size n); template<class ExecutionPolicy, class NoThrowForwardIterator, class Size> NoThrowForwardIterator destroy_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n);
      | ^~~~~~~~~
p578.cpp:263:1: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:263:205: error: expected ',' or '...' before '&&' token
  263 | hrowForwardIterator first, Size n); template<class ExecutionPolicy, class NoThrowForwardIterator, class Size> NoThrowForwardIterator destroy_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n);
      |                                                                                                                                                               ^~

p578.cpp:276:40: error: expected ')' before ';' token
  276 | template<class T> struct default_delete;
      |                                        ^
      |                                        )
p578.cpp:263:189: note: to match this '('
  263 | or destroy_n(NoThrowForwardIterator first, Size n); template<class ExecutionPolicy, class NoThrowForwardIterator, class Size> NoThrowForwardIterator destroy_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n);
      |                                                                                                                                                               ^

p578.cpp:277:26: error: 'default_delete' is not a class template
  277 | template<class T> struct default_delete<T[]>;
      |                          ^~~~~~~~~~~~~~
p578.cpp:278:45: error: spurious '>>', use '>' to terminate a template argument list
  278 | template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
      |                                             ^~
p578.cpp:278:29: error: two or more data types in declaration of 'type name'
  278 | template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
      |                             ^~~~~~~~~~~~~~~~~~
p578.cpp:278:64: error: expected '>' before ';' token
  278 | template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
      |                                                                ^
p578.cpp:278:64: error: expected unqualified-id before ';' token
p578.cpp:278:99: error: 'unique_ptr' is not a class template
  278 | template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
      |                                                                                                   ^~~~~~~~~~
p578.cpp:278:99: error: 'std::unique_ptr' is not a template
p578.cpp:278:54: note: previous declaration here
  278 | template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
      |                                                      ^~~~~~~~~~
p578.cpp:279:24: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  279 | template<class T, class... Args>
      |                        ^~~
p578.cpp:280:3: error: 'constexpr' does not name a type
  280 |   constexpr unique_ptr<T> make_unique(Args&&... args);
      |   ^~~~~~~~~
p578.cpp:280:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:282:3: error: 'constexpr' does not name a type
  282 |   constexpr unique_ptr<T> make_unique(size_t n);
      |   ^~~~~~~~~
p578.cpp:282:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:283:24: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  283 | template<class T, class... Args>
      |                        ^~~
p578.cpp:284:1: error: 'unspecified' does not name a type
  284 | unspecified make_unique(Args&&...) = delete;
      | ^~~~~~~~~~~
p578.cpp:286:3: error: 'constexpr' does not name a type
  286 |   constexpr unique_ptr<T> make_unique_for_overwrite();
      |   ^~~~~~~~~
p578.cpp:286:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:288:3: error: 'constexpr' does not name a type
  288 |   constexpr unique_ptr<T> make_unique_for_overwrite(size_t n);
      |   ^~~~~~~~~
p578.cpp:288:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:289:24: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  289 | template<class T, class... Args>
      |                        ^~~
p578.cpp:290:1: error: 'unspecified' does not name a type
  290 | unspecified make_unique_for_overwrite(Args&&...) = delete;
      | ^~~~~~~~~~~
p578.cpp:292:3: error: 'constexpr' does not name a type
  292 |   constexpr void swap(unique_ptr<T, D>& x, unique_ptr<T, D>& y) noexcept;
      |   ^~~~~~~~~
p578.cpp:292:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:294:3: error: 'constexpr' does not name a type
  294 |   constexpr bool operator==(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |   ^~~~~~~~~
p578.cpp:294:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:296:24: error: 'std::unique_ptr' is not a template
  296 |   bool operator<(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                        ^~~~~~~~~~
p578.cpp:296:53: error: 'std::unique_ptr' is not a template
  296 |   bool operator<(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                                                     ^~~~~~~~~~
p578.cpp:298:24: error: 'std::unique_ptr' is not a template
  298 |   bool operator>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                        ^~~~~~~~~~
p578.cpp:298:53: error: 'std::unique_ptr' is not a template
  298 |   bool operator>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                                                     ^~~~~~~~~~
p578.cpp:300:25: error: 'std::unique_ptr' is not a template
  300 |   bool operator<=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                         ^~~~~~~~~~
p578.cpp:300:54: error: 'std::unique_ptr' is not a template
  300 |   bool operator<=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                                                      ^~~~~~~~~~
p578.cpp:302:25: error: 'std::unique_ptr' is not a template
  302 |   bool operator>=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                         ^~~~~~~~~~
p578.cpp:302:54: error: 'std::unique_ptr' is not a template
  302 |   bool operator>=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |                                                      ^~~~~~~~~~
p578.cpp:304:3: error: 'requires' does not name a type
  304 |   requires three_way_comparable_with<typename unique_ptr<T1, D1>::pointer,
      |   ^~~~~~~~
p578.cpp:304:3: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:312:3: error: 'constexpr' does not name a type
  312 |   constexpr bool operator==(const unique_ptr<T, D>& x, nullptr_t) noexcept;
      |   ^~~~~~~~~
p578.cpp:312:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:314:3: error: 'constexpr' does not name a type
  314 |   constexpr bool operator<(const unique_ptr<T, D>& x, nullptr_t);
      |   ^~~~~~~~~
p578.cpp:314:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:316:3: error: 'constexpr' does not name a type
  316 |   constexpr bool operator<(nullptr_t, const unique_ptr<T, D>& y);
      |   ^~~~~~~~~
p578.cpp:316:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:318:3: error: 'constexpr' does not name a type
  318 |   constexpr bool operator>(const unique_ptr<T, D>& x, nullptr_t);
      |   ^~~~~~~~~
p578.cpp:318:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:320:3: error: 'constexpr' does not name a type
  320 |   constexpr bool operator>(nullptr_t, const unique_ptr<T, D>& y);
      |   ^~~~~~~~~
p578.cpp:320:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:322:3: error: 'constexpr' does not name a type
  322 |   constexpr bool operator<=(const unique_ptr<T, D>& x, nullptr_t);
      |   ^~~~~~~~~
p578.cpp:322:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:324:3: error: 'constexpr' does not name a type
  324 |   constexpr bool operator<=(nullptr_t, const unique_ptr<T, D>& y);
      |   ^~~~~~~~~
p578.cpp:324:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:326:3: error: 'constexpr' does not name a type
  326 |   constexpr bool operator>=(const unique_ptr<T, D>& x, nullptr_t);
      |   ^~~~~~~~~
p578.cpp:326:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:328:3: error: 'constexpr' does not name a type
  328 |   constexpr bool operator>=(nullptr_t, const unique_ptr<T, D>& y);
      |   ^~~~~~~~~
p578.cpp:328:3: note: C++11 'constexpr' only available with '-std=c++11' or '-std=gnu++11'
p578.cpp:330:3: error: 'requires' does not name a type
  330 |   requires three_way_comparable<typename unique_ptr<T, D>::pointer>
      |   ^~~~~~~~
p578.cpp:330:3: note: 'requires' only available with '-std=c++20' or '-fconcepts'
p578.cpp:334:66: error: 'std::unique_ptr' is not a template
  334 |   basic_ostream<E, T>& operator<<(basic_ostream<E, T>& os, const unique_ptr<Y, D>& p);
      |                                                                  ^~~~~~~~~~
p578.cpp:340:24: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  340 | template<class T, class... Args>
      |                        ^~~
p578.cpp:341:33: error: expected ',' or '...' before '&&' token
  341 |   shared_ptr<T> make_shared(Args&&... args);
      |                                 ^~
p578.cpp:341:43: error: parameter packs not expanded with '...':
  341 |   shared_ptr<T> make_shared(Args&&... args);
      |                                           ^
p578.cpp:341:43: note:         'Args'
p578.cpp:342:33: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  342 | template<class T, class A, class... Args>
      |                                 ^~~
p578.cpp:343:49: error: expected ',' or '...' before '&&' token
  343 |   shared_ptr<T> allocate_shared(const A& a, Args&&... args);
      |                                                 ^~
p578.cpp:343:59: error: parameter packs not expanded with '...':
  343 |   shared_ptr<T> allocate_shared(const A& a, Args&&... args);
      |                                                           ^
p578.cpp:343:59: note:         'Args'
p578.cpp:353:45: error: 'remove_extent_t' does not name a type
  353 |   shared_ptr<T> make_shared(size_t N, const remove_extent_t<T>& u);
      |                                             ^~~~~~~~~~~~~~~
p578.cpp:353:60: error: expected ',' or '...' before '<' token
  353 |   shared_ptr<T> make_shared(size_t N, const remove_extent_t<T>& u);
      |                                                            ^
p578.cpp:356:39: error: 'remove_extent_t' does not name a type
  356 |                                 const remove_extent_t<T>& u);
      |                                       ^~~~~~~~~~~~~~~
p578.cpp:356:54: error: expected ',' or '...' before '<' token
  356 |                                 const remove_extent_t<T>& u);
      |                                                      ^
p578.cpp:358:35: error: 'remove_extent_t' does not name a type
  358 |   shared_ptr<T> make_shared(const remove_extent_t<T>& u);
      |                                   ^~~~~~~~~~~~~~~
p578.cpp:358:50: error: expected ',' or '...' before '<' token
  358 |   shared_ptr<T> make_shared(const remove_extent_t<T>& u);
      |                                                  ^
p578.cpp:360:51: error: 'remove_extent_t' does not name a type
  360 |   shared_ptr<T> allocate_shared(const A& a, const remove_extent_t<T>& u);
      |                                                   ^~~~~~~~~~~~~~~
p578.cpp:360:66: error: expected ',' or '...' before '<' token
  360 |   shared_ptr<T> allocate_shared(const A& a, const remove_extent_t<T>& u);
      |                                                                  ^
p578.cpp:378:67: error: expected initializer before 'noexcept'
  378 |   bool operator==(const shared_ptr<T>& a, const shared_ptr<U>& b) noexcept;
      |                                                                   ^~~~~~~~
p578.cpp:381:3: error: 'strong_ordering' does not name a type
  381 |   strong_ordering operator<=>(const shared_ptr<T>& a, const shared_ptr<U>& b) noexcept;
      |   ^~~~~~~~~~~~~~~
p578.cpp:383:43: error: 'nullptr_t' has not been declared
  383 |   bool operator==(const shared_ptr<T>& x, nullptr_t) noexcept;
      |                                           ^~~~~~~~~
p578.cpp:383:54: error: expected initializer before 'noexcept'
  383 |   bool operator==(const shared_ptr<T>& x, nullptr_t) noexcept;
      |                                                      ^~~~~~~~
p578.cpp:385:3: error: 'strong_ordering' does not name a type
  385 |   strong_ordering operator<=>(const shared_ptr<T>& x, nullptr_t) noexcept;
      |   ^~~~~~~~~~~~~~~
p578.cpp:388:49: error: expected initializer before 'noexcept'
  388 |   void swap(shared_ptr<T>& a, shared_ptr<T>& b) noexcept;
      |                                                 ^~~~~~~~
p578.cpp:391:61: error: expected initializer before 'noexcept'
  391 |   shared_ptr<T> static_pointer_cast(const shared_ptr<U>& r) noexcept;
      |                                                             ^~~~~~~~
p578.cpp:393:50: error: expected ',' or '...' before '&&' token
  393 |   shared_ptr<T> static_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                  ^~
p578.cpp:393:56: error: expected initializer before 'noexcept'
  393 |   shared_ptr<T> static_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                        ^~~~~~~~
p578.cpp:395:62: error: expected initializer before 'noexcept'
  395 |   shared_ptr<T> dynamic_pointer_cast(const shared_ptr<U>& r) noexcept;
      |                                                              ^~~~~~~~
p578.cpp:397:51: error: expected ',' or '...' before '&&' token
  397 |   shared_ptr<T> dynamic_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                   ^~
p578.cpp:397:57: error: expected initializer before 'noexcept'
  397 |   shared_ptr<T> dynamic_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                         ^~~~~~~~
p578.cpp:399:60: error: expected initializer before 'noexcept'
  399 |   shared_ptr<T> const_pointer_cast(const shared_ptr<U>& r) noexcept;
      |                                                            ^~~~~~~~
p578.cpp:401:49: error: expected ',' or '...' before '&&' token
  401 |   shared_ptr<T> const_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                 ^~
p578.cpp:401:55: error: expected initializer before 'noexcept'
  401 |   shared_ptr<T> const_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                       ^~~~~~~~
p578.cpp:403:66: error: expected initializer before 'noexcept'
  403 |   shared_ptr<T> reinterpret_pointer_cast(const shared_ptr<U>& r) noexcept;
      |                                                                  ^~~~~~~~
p578.cpp:405:55: error: expected ',' or '...' before '&&' token
  405 |   shared_ptr<T> reinterpret_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                       ^~
p578.cpp:405:61: error: expected initializer before 'noexcept'
  405 |   shared_ptr<T> reinterpret_pointer_cast(shared_ptr<U>&& r) noexcept;
      |                                                             ^~~~~~~~
p578.cpp:408:42: error: expected initializer before 'noexcept'
  408 |   D* get_deleter(const shared_ptr<T>& p) noexcept;
      |                                          ^~~~~~~~
p578.cpp:415:61: error: expected initializer before 'noexcept'
  415 | template<class T> void swap(weak_ptr<T>& a, weak_ptr<T>& b) noexcept;
      |                                                             ^~~~~~~~
p578.cpp:422:40: error: 'std::unique_ptr' is not a template
  422 | template<class T, class D> struct hash<unique_ptr<T, D>>; template<class T> struct hash<shared_ptr<T>>;
      |                                        ^~~~~~~~~~
p578.cpp:422:55: error: '>>' should be '> >' within a nested template argument list
  422 | template<class T, class D> struct hash<unique_ptr<T, D>>; template<class T> struct hash<shared_ptr<T>>;
      |                                                       ^~
      |                                                       > >
p578.cpp:422:35: error: template parameters not deducible in partial specialization:
  422 | template<class T, class D> struct hash<unique_ptr<T, D>>; template<class T> struct hash<shared_ptr<T>>;
      |                                   ^~~~~~~~~~~~~~~~~~~~~~
p578.cpp:422:35: note:         'T'
p578.cpp:422:35: note:         'D'
p578.cpp:422:101: error: '>>' should be '> >' within a nested template argument list
  422 | template<class T, class D> struct hash<unique_ptr<T, D>>; template<class T> struct hash<shared_ptr<T>>;
      |                                                                                                     ^~
      |                                                                                                     > >
p578.cpp:426:45: error: '>>' should be '> >' within a nested template argument list
  426 | template<class T> struct atomic<shared_ptr<T>>; template<class T> struct atomic<weak_ptr<T>>;
      |                                             ^~
      |                                             > >
p578.cpp:426:91: error: '>>' should be '> >' within a nested template argument list
  426 | template<class T> struct atomic<shared_ptr<T>>; template<class T> struct atomic<weak_ptr<T>>;
      |                                                                                           ^~
      |                                                                                           > >
p578.cpp:428:43: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  428 | template<class Smart, class Pointer, class... Args>
      |                                           ^~~
p578.cpp:431:50: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  431 | template<class Pointer = void, class Smart, class... Args>
      |                                                  ^~~
p578.cpp:432:5: warning: 'auto' changes meaning in C++11; please remove it [-Wc++11-compat]
  432 |     auto out_ptr(Smart& s, Args&&... args);
      |     ^~~~
      |     ----
p578.cpp:432:32: error: expected ',' or '...' before '&&' token
  432 |     auto out_ptr(Smart& s, Args&&... args);
      |                                ^~
p578.cpp:432:10: error: ISO C++ forbids declaration of 'out_ptr' with no type [-fpermissive]
  432 |     auto out_ptr(Smart& s, Args&&... args);
      |          ^~~~~~~
p578.cpp:432:5: error: top-level declaration of 'out_ptr' specifies 'auto'
  432 |     auto out_ptr(Smart& s, Args&&... args);
      |     ^~~~
p578.cpp:432:5: error: storage class 'auto' invalid for function 'out_ptr'
p578.cpp:432:42: error: no default argument for 'Smart'
  432 |     auto out_ptr(Smart& s, Args&&... args);
      |                                          ^
p578.cpp:432:42: error: default template arguments may not be used in function templates without '-std=c++11' or '-std=gnu++11'
p578.cpp:432:42: error: parameter packs not expanded with '...':
p578.cpp:432:42: note:         'Args'
p578.cpp:434:43: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  434 | template<class Smart, class Pointer, class... Args>
      |                                           ^~~
p578.cpp:437:50: warning: variadic templates only available with '-std=c++11' or '-std=gnu++11' [-Wc++11-extensions]
  437 | template<class Pointer = void, class Smart, class... Args>
      |                                                  ^~~
p578.cpp:438:5: warning: 'auto' changes meaning in C++11; please remove it [-Wc++11-compat]
  438 |     auto inout_ptr(Smart& s, Args&&... args);
      |     ^~~~
      |     ----
p578.cpp:438:34: error: expected ',' or '...' before '&&' token
  438 |     auto inout_ptr(Smart& s, Args&&... args);
      |                                  ^~
p578.cpp:438:10: error: ISO C++ forbids declaration of 'inout_ptr' with no type [-fpermissive]
  438 |     auto inout_ptr(Smart& s, Args&&... args);
      |          ^~~~~~~~~
p578.cpp:438:5: error: top-level declaration of 'inout_ptr' specifies 'auto'
  438 |     auto inout_ptr(Smart& s, Args&&... args);
      |     ^~~~
p578.cpp:438:5: error: storage class 'auto' invalid for function 'inout_ptr'
p578.cpp:438:44: error: no default argument for 'Smart'
  438 |     auto inout_ptr(Smart& s, Args&&... args);
      |                                            ^
p578.cpp:438:44: error: default template arguments may not be used in function templates without '-std=c++11' or '-std=gnu++11'
p578.cpp:438:44: error: parameter packs not expanded with '...':
p578.cpp:438:44: note:         'Args'
rm: cannot remove 'p578g': No such file or directory

$ g++ p578.cpp -std=c++2b -o p578g -I. -Wall
p578.cpp:43:8: error: redefinition of 'struct std::allocator_arg_t'
   43 | struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
      |        ^~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/12.1.0/tuple:39,
                 from /usr/local/include/c++/12.1.0/bits/stl_map.h:63,
                 from /usr/local/include/c++/12.1.0/map:61,
                 from p578.cpp:18:
/usr/local/include/c++/12.1.0/bits/uses_allocator.h:51:10: note: previous definition of 'struct std::allocator_arg_t'
   51 |   struct allocator_arg_t { explicit allocator_arg_t() = default; };
      |          ^~~~~~~~~~~~~~~
p578.cpp:43:100: error: redefinition of 'constexpr const std::allocator_arg_t std::allocator_arg'
   43 | struct allocator_arg_t { explicit allocator_arg_t() = default; }; inline constexpr allocator_arg_t allocator_arg{};
      |                                                                                                    ^~~~~~~~~~~~~
/usr/local/include/c++/12.1.0/bits/uses_allocator.h:53:47: note: 'constexpr const std::allocator_arg_t std::allocator_arg' previously defined here
   53 |   _GLIBCXX17_INLINE constexpr allocator_arg_t allocator_arg =
      |                                               ^~~~~~~~~~~~~
p578.cpp:48:25: error: redefinition of 'template<class T, class Alloc> constexpr const bool std::uses_allocator_v'
   48 |   inline constexpr bool uses_allocator_v = uses_allocator<T, Alloc>::value;
      |                         ^~~~~~~~~~~~~~~~
/usr/local/include/c++/12.1.0/bits/uses_allocator.h:128:27: note: 'template<class _Tp, class _Alloc> constexpr const bool std::uses_allocator_v<_Tp, _Alloc>' previously declared here
  128 |     inline constexpr bool uses_allocator_v =
      |                           ^~~~~~~~~~~~~~~~
p578.cpp:88:15: error: expected ']' before 'constexpr'
   88 |   [[nodiscard] constexpr allocation_result<typename allocator_traits<Allocator>::pointer>
      |               ^~~~~~~~~~
      |               ]
p578.cpp:89:46: error: expected unqualified-id before ';' token
   89 |     allocate_at_least(Allocator& a, size_t n);
      |                                              ^
p578.cpp:98:12: error: redefinition of 'template<class T> const T* std::addressof(const T&&)'
   98 |   const T* addressof(const T&&) = delete;
      |            ^~~~~~~~~
In file included from /usr/local/include/c++/12.1.0/bits/exception_ptr.h:43,
                 from /usr/local/include/c++/12.1.0/exception:168,
                 from /usr/local/include/c++/12.1.0/ios:39,
                 from /usr/local/include/c++/12.1.0/ostream:38,
                 from /usr/local/include/c++/12.1.0/iostream:39,
                 from p578.cpp:10:
/usr/local/include/c++/12.1.0/bits/move.h:151:16: note: 'template<class _Tp> const _Tp* std::addressof(const _Tp&&)' previously declared here
  151 |     const _Tp* addressof(const _Tp&&) = delete;
      |                ^~~~~~~~~
p578.cpp:102:16: error: expected '=' before '-' token
  102 | concept nothrow-input-iterator = see below ; template<class I>
      |                ^
p578.cpp:104:16: error: expected '=' before '-' token
  104 | concept nothrow-forward-iterator = see_below;
      |                ^
p578.cpp:106:16: error: expected '=' before '-' token
  106 | concept nothrow-sentinel-for = see_below;
      |                ^
p578.cpp:108:16: error: expected '=' before '-' token
  108 | concept nothrow-input-range = see_below;
      |                ^
p578.cpp:110:16: error: expected '=' before '-' token
  110 | concept nothrow-forward-range = see_below ;
      |                ^
p578.cpp:127:10: error: 'nothrow' is not a type
  127 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I> S>
      |          ^~~~~~~
p578.cpp:127:17: error: expected '>' before '-' token
  127 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I> S>
      |                 ^
p578.cpp:128:49: error: 'I' was not declared in this scope
  128 |     requires default_initializable<iter_value_t<I>>
      |                                                 ^
p578.cpp:128:49: error: template argument 1 is invalid
p578.cpp:128:14: error: template argument 1 is invalid
  128 |     requires default_initializable<iter_value_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:129:7: error: 'I' does not name a type
  129 |       I uninitialized_default_construct(I first, S last);
      |       ^
p578.cpp:130:10: error: 'nothrow' is not a type
  130 | template<nothrow-forward-range R>
      |          ^~~~~~~
p578.cpp:130:17: error: expected '>' before '-' token
  130 | template<nothrow-forward-range R>
      |                 ^
p578.cpp:131:46: error: 'R' was not declared in this scope
  131 | requires default_initializable<range_value_t<R>>
      |                                              ^
p578.cpp:131:46: error: template argument 1 is invalid
p578.cpp:131:10: error: template argument 1 is invalid
  131 | requires default_initializable<range_value_t<R>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:132:27: error: 'R' was not declared in this scope
  132 |       borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |                           ^
p578.cpp:132:28: error: template argument 1 is invalid
  132 |       borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |                            ^
p578.cpp:132:62: error: 'template<<typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_default_construct' redeclared as different kind of entity
  132 |       borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |                                                              ^
In file included from /usr/local/include/c++/12.1.0/memory:86,
                 from p578.cpp:22:
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:170:5: note: previous declaration 'constexpr const std::ranges::__uninitialized_default_construct_fn std::ranges::uninitialized_default_construct'
  170 |     uninitialized_default_construct{};
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:132:62: error: 'R' was not declared in this scope
  132 |       borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |                                                              ^
p578.cpp:132:66: error: 'r' was not declared in this scope
  132 |       borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
      |                                                                  ^
p578.cpp:133:10: error: 'nothrow' is not a type
  133 | template<nothrow-forward-iterator I>
      |          ^~~~~~~
p578.cpp:133:17: error: expected '>' before '-' token
  133 | template<nothrow-forward-iterator I>
      |                 ^
p578.cpp:134:45: error: 'I' was not declared in this scope
  134 | requires default_initializable<iter_value_t<I>>
      |                                             ^
p578.cpp:134:45: error: template argument 1 is invalid
p578.cpp:134:10: error: template argument 1 is invalid
  134 | requires default_initializable<iter_value_t<I>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:135:7: error: 'I' does not name a type
  135 |       I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
      |       ^
p578.cpp:142:1: error: expected identifier before 'template'
  142 | template<class NoThrowForwardIterator, class Size>
      | ^~~~~~~~
p578.cpp:142:1: error: expected ',' or '...' before 'template'
p578.cpp:144:74: error: expected ')' before ';' token
  144 |     uninitialized_value_construct_n(NoThrowForwardIterator first, Size n);
      |                                                                          ^
      |                                                                          )
p578.cpp:141:35: note: to match this '('
  141 | void uninitialized_value_construct(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, NoThrowForwardIterator last);
      |                                   ^
p578.cpp:149:10: error: 'nothrow' is not a type
  149 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |          ^~~~~~~
p578.cpp:149:17: error: expected '>' before '-' token
  149 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |                 ^
p578.cpp:151:55: error: expected unqualified-id before ';' token
  151 |       I uninitialized_value_construct(I first, S last);
      |                                                       ^
p578.cpp:152:10: error: 'nothrow' is not a type
  152 | template<nothrow-forward-range R>
      |          ^~~~~~~
p578.cpp:152:17: error: expected '>' before '-' token
  152 | template<nothrow-forward-range R>
      |                 ^
p578.cpp:153:46: error: 'R' was not declared in this scope
  153 | requires default_initializable<range_value_t<R>>
      |                                              ^
p578.cpp:153:46: error: template argument 1 is invalid
p578.cpp:153:10: error: template argument 1 is invalid
  153 | requires default_initializable<range_value_t<R>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:154:27: error: 'R' was not declared in this scope
  154 |       borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |                           ^
p578.cpp:154:28: error: template argument 1 is invalid
  154 |       borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |                            ^
p578.cpp:154:60: error: 'template<<typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_value_construct' redeclared as different kind of entity
  154 |       borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |                                                            ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:228:5: note: previous declaration 'constexpr const std::ranges::__uninitialized_value_construct_fn std::ranges::uninitialized_value_construct'
  228 |     uninitialized_value_construct{};
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:154:60: error: 'R' was not declared in this scope
  154 |       borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |                                                            ^
p578.cpp:154:64: error: 'r' was not declared in this scope
  154 |       borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
      |                                                                ^
p578.cpp:155:10: error: 'nothrow' is not a type
  155 | template<nothrow-forward-iterator I>
      |          ^~~~~~~
p578.cpp:155:17: error: expected '>' before '-' token
  155 | template<nothrow-forward-iterator I>
      |                 ^
p578.cpp:156:45: error: 'I' was not declared in this scope
  156 | requires default_initializable<iter_value_t<I>>
      |                                             ^
p578.cpp:156:45: error: template argument 1 is invalid
p578.cpp:156:10: error: template argument 1 is invalid
  156 | requires default_initializable<iter_value_t<I>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:157:7: error: 'I' does not name a type
  157 |       I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
      |       ^
p578.cpp:176:1: error: 'nothrow' is not a type
  176 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      | ^~~~~~~
p578.cpp:176:8: error: expected '>' before '-' token
  176 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |        ^
p578.cpp:176:99: error: 'O' was not declared in this scope
  176 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                                                   ^
p578.cpp:176:100: error: template argument 1 is invalid
  176 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                                                    ^
p578.cpp:176:67: error: template argument 1 is invalid
  176 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:177:36: error: 'O' was not declared in this scope
  177 |       uninitialized_copy_result<I, O>
      |                                    ^
p578.cpp:177:37: error: template argument 2 is invalid
  177 |       uninitialized_copy_result<I, O>
      |                                     ^
p578.cpp:178:48: error: 'O' has not been declared
  178 |         uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
      |                                                ^
p578.cpp:178:58: error: 'S2' has not been declared
  178 |         uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
      |                                                          ^~
p578.cpp:178:66: error: 'template<class I, class S1, <typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_copy(I, S1, int, int)' redeclared as different kind of entity
  178 |         uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
      |                                                                  ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:303:44: note: previous declaration 'constexpr const std::ranges::__uninitialized_copy_fn std::ranges::uninitialized_cop'
  303 |   inline constexpr __uninitialized_copy_fn uninitialized_copy{};
      |                                            ^~~~~~~~~~~~~~~~~~
p578.cpp:179:26: error: 'nothrow' is not a type
  179 | template<input_range IR, nothrow-forward-range OR>
      |                          ^~~~~~~
p578.cpp:179:33: error: expected '>' before '-' token
  179 | template<input_range IR, nothrow-forward-range OR>
      |                                 ^
p578.cpp:180:43: error: 'OR' was not declared in this scope; did you mean 'IR'?
  180 | requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |                                           ^~
      |                                           IR
p578.cpp:180:45: error: template argument 1 is invalid
  180 | requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |                                             ^
p578.cpp:180:10: error: template argument 1 is invalid
  180 | requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:181:78: error: 'OR' was not declared in this scope; did you mean 'IR'?
  181 |       uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
      |                                                                              ^~
      |                                                                              IR
p578.cpp:181:78: error: template argument 1 is invalid
p578.cpp:181:80: error: template argument 2 is invalid
  181 |       uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
      |                                                                                ^~
p578.cpp:182:43: error: 'OR' has not been declared
  182 |         uninitialized_copy(IR&& in_range, OR&& out_range);
      |                                           ^~
p578.cpp:182:57: error: 'template<class IR, <typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_copy(IR&&, int&&)' redeclared as different kind of entity
  182 |         uninitialized_copy(IR&& in_range, OR&& out_range);
      |                                                         ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:303:44: note: previous declaration 'constexpr const std::ranges::__uninitialized_copy_fn std::ranges::uninitialized_cop'
  303 |   inline constexpr __uninitialized_copy_fn uninitialized_copy{};
      |                                            ^~~~~~~~~~~~~~~~~~
p578.cpp:185:28: error: 'nothrow' is not a type
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                            ^~~~~~~
p578.cpp:185:35: error: expected '>' before '-' token
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                   ^
p578.cpp:185:125: error: 'O' was not declared in this scope
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                                                                             ^
p578.cpp:185:126: error: template argument 1 is invalid
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                                                                              ^
p578.cpp:185:93: error: template argument 1 is invalid
  185 | template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for <O> S> requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
      |                                                                                             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:186:38: error: 'O' was not declared in this scope
  186 |       uninitialized_copy_n_result<I, O>
      |                                      ^
p578.cpp:186:39: error: template argument 2 is invalid
  186 |       uninitialized_copy_n_result<I, O>
      |                                       ^
p578.cpp:187:64: error: 'O' has not been declared
  187 |         uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
      |                                                                ^
p578.cpp:187:74: error: 'S' has not been declared
  187 |         uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
      |                                                                          ^
p578.cpp:187:81: error: 'template<class I, <typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_copy_n(I, std::iter_difference_t<_Iter>, int, int)' redeclared as different kind of entity
  187 |         uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
      |                                                                                 ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:339:46: note: previous declaration 'constexpr const std::ranges::__uninitialized_copy_n_fn std::ranges::uninitialized_copy_n'
  339 |   inline constexpr __uninitialized_copy_n_fn uninitialized_copy_n{};
      |                                              ^~~~~~~~~~~~~~~~~~~~
p578.cpp:206:1: error: 'nothrow' is not a type
  206 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2>
      | ^~~~~~~
p578.cpp:206:8: error: expected '>' before '-' token
  206 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S2>
      |        ^
p578.cpp:207:42: error: 'O' was not declared in this scope
  207 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |                                          ^
p578.cpp:207:43: error: template argument 1 is invalid
  207 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |                                           ^
p578.cpp:207:10: error: template argument 1 is invalid
  207 | requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:208:36: error: 'O' was not declared in this scope
  208 |       uninitialized_move_result<I, O>
      |                                    ^
p578.cpp:208:37: error: template argument 2 is invalid
  208 |       uninitialized_move_result<I, O>
      |                                     ^
p578.cpp:209:48: error: 'O' has not been declared
  209 |         uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
      |                                                ^
p578.cpp:209:58: error: 'S2' has not been declared
  209 |         uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
      |                                                          ^~
p578.cpp:209:66: error: 'template<class I, class S1, <typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_move(I, S1, int, int)' redeclared as different kind of entity
  209 |         uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
      |                                                                  ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:393:44: note: previous declaration 'constexpr const std::ranges::__uninitialized_move_fn std::ranges::uninitialized_mov'
  393 |   inline constexpr __uninitialized_move_fn uninitialized_move{};
      |                                            ^~~~~~~~~~~~~~~~~~
p578.cpp:210:26: error: 'nothrow' is not a type
  210 | template<input_range IR, nothrow-forward-range OR>
      |                          ^~~~~~~
p578.cpp:210:33: error: expected '>' before '-' token
  210 | template<input_range IR, nothrow-forward-range OR>
      |                                 ^
p578.cpp:211:43: error: 'OR' was not declared in this scope; did you mean 'IR'?
  211 | requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |                                           ^~
      |                                           IR
p578.cpp:211:45: error: template argument 1 is invalid
  211 | requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |                                             ^
p578.cpp:211:10: error: template argument 1 is invalid
  211 | requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:212:78: error: 'OR' was not declared in this scope; did you mean 'IR'?
  212 |       uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
      |                                                                              ^~
      |                                                                              IR
p578.cpp:212:78: error: template argument 1 is invalid
p578.cpp:212:80: error: template argument 2 is invalid
  212 |       uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
      |                                                                                ^~
p578.cpp:213:43: error: 'OR' has not been declared
  213 |         uninitialized_move(IR&& in_range, OR&& out_range);
      |                                           ^~
p578.cpp:213:57: error: 'template<class IR, <typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_move(IR&&, int&&)' redeclared as different kind of entity
  213 |         uninitialized_move(IR&& in_range, OR&& out_range);
      |                                                         ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:393:44: note: previous declaration 'constexpr const std::ranges::__uninitialized_move_fn std::ranges::uninitialized_mov'
  393 |   inline constexpr __uninitialized_move_fn uninitialized_move{};
      |                                            ^~~~~~~~~~~~~~~~~~
p578.cpp:217:1: error: 'nothrow' is not a type
  217 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S>
      | ^~~~~~~
p578.cpp:217:8: error: expected '>' before '-' token
  217 | nothrow-forward-iterator O, nothrow-sentinel-for <O> S>
      |        ^
p578.cpp:218:46: error: 'O' was not declared in this scope
  218 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |                                              ^
p578.cpp:218:47: error: template argument 1 is invalid
  218 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |                                               ^
p578.cpp:218:14: error: template argument 1 is invalid
  218 |     requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>>
      |              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:219:38: error: 'O' was not declared in this scope
  219 |       uninitialized_move_n_result<I, O>
      |                                      ^
p578.cpp:219:39: error: template argument 2 is invalid
  219 |       uninitialized_move_n_result<I, O>
      |                                       ^
p578.cpp:220:64: error: 'O' has not been declared
  220 |         uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
      |                                                                ^
p578.cpp:220:74: error: 'S' has not been declared
  220 |         uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
      |                                                                          ^
p578.cpp:220:81: error: 'template<class I, <typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_move_n(I, std::iter_difference_t<_Iter>, int, int)' redeclared as different kind of entity
  220 |         uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
      |                                                                                 ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:433:46: note: previous declaration 'constexpr const std::ranges::__uninitialized_move_n_fn std::ranges::uninitialized_move_n'
  433 |   inline constexpr __uninitialized_move_n_fn uninitialized_move_n{};
      |                                              ^~~~~~~~~~~~~~~~~~~~
p578.cpp:236:10: error: 'nothrow' is not a type
  236 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |          ^~~~~~~
p578.cpp:236:17: error: expected '>' before '-' token
  236 | template<nothrow-forward-iterator I, nothrow-sentinel-for <I>
      |                 ^
p578.cpp:238:44: error: 'I' was not declared in this scope
  238 |   requires constructible_from<iter_value_t<I>, const T&>
      |                                            ^
p578.cpp:238:45: error: template argument 1 is invalid
  238 |   requires constructible_from<iter_value_t<I>, const T&>
      |                                             ^
p578.cpp:238:54: error: ISO C++ forbids declaration of 'type name' with no type [-fpermissive]
  238 |   requires constructible_from<iter_value_t<I>, const T&>
      |                                                      ^
p578.cpp:238:12: error: parse error in template argument list
  238 |   requires constructible_from<iter_value_t<I>, const T&>
      |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:238:12: error: template argument 1 is invalid
p578.cpp:238:12: error: template argument 2 is invalid
p578.cpp:239:5: error: 'I' does not name a type
  239 |     I uninitialized_fill(I first, S last, const T& x);
      |     ^
p578.cpp:240:10: error: 'nothrow' is not a type
  240 | template<nothrow-forward-range R, class T>
      |          ^~~~~~~
p578.cpp:240:17: error: expected '>' before '-' token
  240 | template<nothrow-forward-range R, class T>
      |                 ^
p578.cpp:241:43: error: 'R' was not declared in this scope
  241 | requires constructible_from<range_value_t<R>, const T&>
      |                                           ^
p578.cpp:241:44: error: template argument 1 is invalid
  241 | requires constructible_from<range_value_t<R>, const T&>
      |                                            ^
p578.cpp:241:53: error: ISO C++ forbids declaration of 'type name' with no type [-fpermissive]
  241 | requires constructible_from<range_value_t<R>, const T&>
      |                                                     ^
p578.cpp:241:10: error: parse error in template argument list
  241 | requires constructible_from<range_value_t<R>, const T&>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:241:10: error: template argument 1 is invalid
p578.cpp:241:10: error: template argument 2 is invalid
p578.cpp:242:27: error: 'R' was not declared in this scope
  242 |       borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
      |                           ^
p578.cpp:242:28: error: template argument 1 is invalid
  242 |       borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
      |                            ^
p578.cpp:242:49: error: 'template<<typeprefixerror><anonymous> >  requires  <erroneous-expression> int std::ranges::uninitialized_fill' redeclared as different kind of entity
  242 |       borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
      |                                                 ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:466:44: note: previous declaration 'constexpr const std::ranges::__uninitialized_fill_fn std::ranges::uninitialized_fil'
  466 |   inline constexpr __uninitialized_fill_fn uninitialized_fill{};
      |                                            ^~~~~~~~~~~~~~~~~~
p578.cpp:242:49: error: 'R' was not declared in this scope
  242 |       borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
      |                                                 ^
p578.cpp:242:53: error: 'r' was not declared in this scope
  242 |       borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
      |                                                     ^
p578.cpp:242:56: error: expected primary-expression before 'const'
  242 |       borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
      |                                                        ^~~~~
p578.cpp:243:10: error: 'nothrow' is not a type
  243 | template<nothrow-forward-iterator I, class T>
      |          ^~~~~~~
p578.cpp:243:17: error: expected '>' before '-' token
  243 | template<nothrow-forward-iterator I, class T>
      |                 ^
p578.cpp:244:42: error: 'I' was not declared in this scope
  244 | requires constructible_from<iter_value_t<I>, const T&>
      |                                          ^
p578.cpp:244:43: error: template argument 1 is invalid
  244 | requires constructible_from<iter_value_t<I>, const T&>
      |                                           ^
p578.cpp:244:52: error: ISO C++ forbids declaration of 'type name' with no type [-fpermissive]
  244 | requires constructible_from<iter_value_t<I>, const T&>
      |                                                    ^
p578.cpp:244:10: error: parse error in template argument list
  244 | requires constructible_from<iter_value_t<I>, const T&>
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p578.cpp:244:10: error: template argument 1 is invalid
p578.cpp:244:10: error: template argument 2 is invalid
p578.cpp:245:7: error: 'I' does not name a type
  245 |       I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
      |       ^
p578.cpp:252:58: error: 'template<class T, class ... Args> constexpr T* std::ranges::construct_at(T*, Args&& ...)' redeclared as different kind of entity
  252 |     constexpr T* construct_at(T* location, Args&&... args);
      |                                                          ^
/usr/local/include/c++/12.1.0/bits/ranges_uninitialized.h:509:38: note: previous declaration 'constexpr const std::ranges::__construct_at_fn std::ranges::construct_at'
  509 |   inline constexpr __construct_at_fn construct_at{};
      |                                      ^~~~~~~~~~~~
p578.cpp:264:1: error: expected identifier before 'namespace'
  264 | namespace ranges {
      | ^~~~~~~~~
p578.cpp:264:1: error: expected ',' or '...' before 'namespace'
p578.cpp:276:40: error: expected ')' before ';' token
  276 | template<class T> struct default_delete;
      |                                        ^
      |                                        )
p578.cpp:263:189: note: to match this '('
  263 | or destroy_n(NoThrowForwardIterator first, Size n); template<class ExecutionPolicy, class NoThrowForwardIterator, class Size> NoThrowForwardIterator destroy_n(ExecutionPolicy&& exec, // see 27.3.5 NoThrowForwardIterator first, Size n);
      |                                                                                                                                                               ^

p578.cpp:278:19: error: redefinition of default argument for 'class D'
  278 | template<class T, class D = default_delete<T>> class unique_ptr; template<class T, class D> class unique_ptr<T[], D>;
      |                   ^~~~~
In file included from /usr/local/include/c++/12.1.0/memory:76:
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:268:27: note: original definition appeared here
  268 |   template <typename _Tp, typename _Dp = default_delete<_Tp>>
      |                           ^~~~~~~~
p578.cpp:284:1: error: 'unspecified' does not name a type
  284 | unspecified make_unique(Args&&...) = delete;
      | ^~~~~~~~~~~
p578.cpp:290:1: error: 'unspecified' does not name a type
  290 | unspecified make_unique_for_overwrite(Args&&...) = delete;
      | ^~~~~~~~~~~
p578.cpp:296:8: error: redeclaration 'bool std::operator<(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)' differs in 'constexpr' from previous declaration
  296 |   bool operator<(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |        ^~~~~~~~
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:872:5: note: previous declaration 'constexpr bool std::operator<(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)'
  872 |     operator<(const unique_ptr<_Tp, _Dp>& __x,
      |     ^~~~~~~~
p578.cpp:298:8: error: redeclaration 'bool std::operator>(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)' differs in 'constexpr' from previous declaration
  298 |   bool operator>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |        ^~~~~~~~
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:929:5: note: previous declaration 'constexpr bool std::operator>(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)'
  929 |     operator>(const unique_ptr<_Tp, _Dp>& __x,
      |     ^~~~~~~~
p578.cpp:300:8: error: redeclaration 'bool std::operator<=(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)' differs in 'constexpr' from previous declaration
  300 |   bool operator<=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |        ^~~~~~~~
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:906:5: note: previous declaration 'constexpr bool std::operator<=(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)'
  906 |     operator<=(const unique_ptr<_Tp, _Dp>& __x,
      |     ^~~~~~~~
p578.cpp:302:8: error: redeclaration 'bool std::operator>=(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)' differs in 'constexpr' from previous declaration
  302 |   bool operator>=(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      |        ^~~~~~~~
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:958:5: note: previous declaration 'constexpr bool std::operator>=(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)'
  958 |     operator>=(const unique_ptr<_Tp, _Dp>& __x,
      |     ^~~~~~~~
p578.cpp:308:1: error: redeclaration 'std::compare_three_way_result_t<typename std::unique_ptr<_Tp, _Dp>::pointer, typename std::unique_ptr<_Up, _Ep>::pointer> std::operator<=>(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)' differs in 'constexpr' from previous declaration
  308 | operator<=>(const unique_ptr<T1, D1>& x, const unique_ptr<T2, D2>& y);
      | ^~~~~~~~
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:983:5: note: previous declaration 'constexpr std::compare_three_way_result_t<typename std::unique_ptr<_Tp, _Dp>::pointer, typename std::unique_ptr<_Up, _Ep>::pointer> std::operator<=>(const unique_ptr<_Tp, _Dp>&, const unique_ptr<_Up, _Ep>&)'
  983 |     operator<=>(const unique_ptr<_Tp, _Dp>& __x,
      |     ^~~~~~~~
p578.cpp:328:18: error: redeclaration 'constexpr bool std::operator>=(nullptr_t, const unique_ptr<_Tp, _Dp>&)' differs in 'constexpr' from previous declaration
  328 |   constexpr bool operator>=(nullptr_t, const unique_ptr<T, D>& y);
      |                  ^~~~~~~~
/usr/local/include/c++/12.1.0/bits/unique_ptr.h:972:5: note: previous declaration 'bool std::operator>=(nullptr_t, const unique_ptr<_Tp, _Dp>&)'
  972 |     operator>=(nullptr_t, const unique_ptr<_Tp, _Dp>& __x)
      |     ^~~~~~~~
p578.cpp:417:10: error: redefinition of default argument for 'class T'
  417 | template<class T = void> struct owner_less;
      |          ^~~~~
In file included from /usr/local/include/c++/12.1.0/bits/shared_ptr.h:53,
                 from /usr/local/include/c++/12.1.0/memory:77:
/usr/local/include/c++/12.1.0/bits/shared_ptr_base.h:400:12: note: original definition appeared here
  400 |   template<typename _Tp>
      |            ^~~~~~~~

検討事項(agenda)

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

Script

clgc.sh

#!/bin/sh
rm $1l
rm $1g
echo "$ clang++ $1.cpp -std=03 -o $1l -I. -Wall" 
clang++ $1.cpp -std=c++03 -o $1l -I. -Wall
if [  -e $1l ]; then
./$1l 
fi
rm $1l
echo "$ clang++ $1.cpp -std=2b -o $1l -I. -Wall"
clang++ $1.cpp -std=c++2b -o $1l -I. -Wall
if [  -e $1l ]; then
./$1l
fi
echo "\r"
echo "$ g++ $1.cpp -std=03 -o $1g -I. -Wall"
g++ $1.cpp -std=c++03 -o $1g -I. -Wall
if [ -e $1g ]; then
./$1g
fi
rm $1g
echo "\r"
echo "$ g++ $1.cpp -std=2b -o $1g -I. -Wall"
g++ $1.cpp -std=c++2b -o $1g -I. -Wall
if [ -e $1g ]; then
./$1g 
fi

参考資料(reference)

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

コンパイラの実装状況

typedef は C++11 ではオワコン

C99からC++14を駆け抜けるC++講座

自己参照(self reference)

コピペコンパイルエラーあるある

C++ Error Message Collection(1)does not name a type, 11 articles

dockerにclang

docker gnu(gcc/g++) and llvm(clang/clang++)

コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)

Compare the contents of C++N4910:2022, C++N4741:2018 and C++N4606:2015

C++ sample list

clang++, g++コンパイルエラー方針の違いの例

astyle 使ってみた

C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standardのコード断片をコンパイルするためにしていること
https://qiita.com/kaizen_nagoya/items/a8d7ee2f2e29e76c19c1

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

Clang/Clang++(LLVM) gcc/g++(GNU) コンパイラ警告等比較
https://qiita.com/kaizen_nagoya/items/9a82b958cc3aeef0403f

C++2003とC++2017でコンパイルエラーになるならない事例集
https://qiita.com/kaizen_nagoya/items/a13ea3823441c430edff

Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d

cpprefjpのdecltypeをコンパイル試験
https://qiita.com/kaizen_nagoya/items/090909af702f0d5d8a67

MISRA C++ 5-0-16
https://qiita.com/kaizen_nagoya/items/7df2d4e05db724752a74

C++ Templates Part1 BASICS Chapter 3. Class Templates 3.2 Use of Class Template Stack stack1test.cpp
https://qiita.com/kaizen_nagoya/items/cd5fc49106fad5a4e9ed

ISO/IEC TS 17961:2013 C Secure Coding Rules(1) All list(to be confirmed)
https://qiita.com/kaizen_nagoya/items/54e056195c4f11b850a1

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

C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9

'wchar.h' file not found で困った clang++ macOS
https://qiita.com/kaizen_nagoya/items/de15cd46d657517fac11

Open POSIX Test Suiteの使い方を調べはじめました
https://qiita.com/kaizen_nagoya/items/644d5e407f5faf96e6dc

MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認
https://qiita.com/kaizen_nagoya/items/96dc8b125e462d5575bb

どうやって MISRA Example Suiteをコンパイルするか
https://qiita.com/kaizen_nagoya/items/fbdbff5ff696e2ca7f00

MISRA C まとめ #include
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9

「C++完全理解ガイド」の同意できること上位10
https://qiita.com/kaizen_nagoya/items/aa5744e0c4a8618c7671

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞

文書履歴(document history)

ver. 0.01 初稿　20220716