Thanks for using Compiler Explorer
Sponsors
Jakt
C++
Ada
Analysis
Android Java
Android Kotlin
Assembly
C
C3
Carbon
C++ (Circle)
CIRCT
Clean
CMake
CMakeScript
COBOL
C++ for OpenCL
MLIR
Cppx
Cppx-Blue
Cppx-Gold
Cpp2-cppfront
Crystal
C#
CUDA C++
D
Dart
Elixir
Erlang
Fortran
F#
GLSL
Go
Haskell
HLSL
Hook
Hylo
IL
ispc
Java
Julia
Kotlin
LLVM IR
LLVM MIR
Modula-2
Nim
Objective-C
Objective-C++
OCaml
OpenCL C
Pascal
Pony
Python
Racket
Ruby
Rust
Snowball
Scala
Solidity
Spice
Swift
LLVM TableGen
Toit
TypeScript Native
V
Vala
Visual Basic
WASM
Zig
Javascript
GIMPLE
c++ source #1
Output
Compile to binary object
Link to binary
Execute the code
Intel asm syntax
Demangle identifiers
Verbose demangling
Filters
Unused labels
Library functions
Directives
Comments
Horizontal whitespace
Debug intrinsics
Compiler
6502-c++ 11.1.0
ARM GCC 10.2.0
ARM GCC 10.3.0
ARM GCC 10.4.0
ARM GCC 10.5.0
ARM GCC 11.1.0
ARM GCC 11.2.0
ARM GCC 11.3.0
ARM GCC 11.4.0
ARM GCC 12.1.0
ARM GCC 12.2.0
ARM GCC 12.3.0
ARM GCC 12.4.0
ARM GCC 13.1.0
ARM GCC 13.2.0
ARM GCC 13.2.0 (unknown-eabi)
ARM GCC 13.3.0
ARM GCC 13.3.0 (unknown-eabi)
ARM GCC 14.1.0
ARM GCC 14.1.0 (unknown-eabi)
ARM GCC 14.2.0
ARM GCC 14.2.0 (unknown-eabi)
ARM GCC 4.5.4
ARM GCC 4.6.4
ARM GCC 5.4
ARM GCC 6.3.0
ARM GCC 6.4.0
ARM GCC 7.3.0
ARM GCC 7.5.0
ARM GCC 8.2.0
ARM GCC 8.5.0
ARM GCC 9.3.0
ARM GCC 9.4.0
ARM GCC 9.5.0
ARM GCC trunk
ARM gcc 10.2.1 (none)
ARM gcc 10.3.1 (2021.07 none)
ARM gcc 10.3.1 (2021.10 none)
ARM gcc 11.2.1 (none)
ARM gcc 5.4.1 (none)
ARM gcc 7.2.1 (none)
ARM gcc 8.2 (WinCE)
ARM gcc 8.3.1 (none)
ARM gcc 9.2.1 (none)
ARM msvc v19.0 (WINE)
ARM msvc v19.10 (WINE)
ARM msvc v19.14 (WINE)
ARM64 Morello gcc 10.1 Alpha 2
ARM64 gcc 10.2
ARM64 gcc 10.3
ARM64 gcc 10.4
ARM64 gcc 10.5.0
ARM64 gcc 11.1
ARM64 gcc 11.2
ARM64 gcc 11.3
ARM64 gcc 11.4.0
ARM64 gcc 12.1
ARM64 gcc 12.2.0
ARM64 gcc 12.3.0
ARM64 gcc 12.4.0
ARM64 gcc 13.1.0
ARM64 gcc 13.2.0
ARM64 gcc 13.3.0
ARM64 gcc 14.1.0
ARM64 gcc 14.2.0
ARM64 gcc 4.9.4
ARM64 gcc 5.4
ARM64 gcc 5.5.0
ARM64 gcc 6.3
ARM64 gcc 6.4
ARM64 gcc 7.3
ARM64 gcc 7.5
ARM64 gcc 8.2
ARM64 gcc 8.5
ARM64 gcc 9.3
ARM64 gcc 9.4
ARM64 gcc 9.5
ARM64 gcc trunk
ARM64 msvc v19.14 (WINE)
AVR gcc 10.3.0
AVR gcc 11.1.0
AVR gcc 12.1.0
AVR gcc 12.2.0
AVR gcc 12.3.0
AVR gcc 12.4.0
AVR gcc 13.1.0
AVR gcc 13.2.0
AVR gcc 13.3.0
AVR gcc 14.1.0
AVR gcc 14.2.0
AVR gcc 4.5.4
AVR gcc 4.6.4
AVR gcc 5.4.0
AVR gcc 9.2.0
AVR gcc 9.3.0
Arduino Mega (1.8.9)
Arduino Uno (1.8.9)
BPF clang (trunk)
BPF clang 13.0.0
BPF clang 14.0.0
BPF clang 15.0.0
BPF clang 16.0.0
BPF clang 17.0.1
BPF clang 18.1.0
BPF clang 19.1.0
BPF gcc 13.1.0
BPF gcc 13.2.0
BPF gcc 13.3.0
BPF gcc trunk
EDG (experimental reflection)
EDG 6.5
EDG 6.5 (GNU mode gcc 13)
EDG 6.6
EDG 6.6 (GNU mode gcc 13)
FRC 2019
FRC 2020
FRC 2023
HPPA gcc 14.2.0
KVX ACB 4.1.0 (GCC 7.5.0)
KVX ACB 4.1.0-cd1 (GCC 7.5.0)
KVX ACB 4.10.0 (GCC 10.3.1)
KVX ACB 4.11.1 (GCC 10.3.1)
KVX ACB 4.12.0 (GCC 11.3.0)
KVX ACB 4.2.0 (GCC 7.5.0)
KVX ACB 4.3.0 (GCC 7.5.0)
KVX ACB 4.4.0 (GCC 7.5.0)
KVX ACB 4.6.0 (GCC 9.4.1)
KVX ACB 4.8.0 (GCC 9.4.1)
KVX ACB 4.9.0 (GCC 9.4.1)
KVX ACB 5.0.0 (GCC 12.2.1)
LoongArch64 clang (trunk)
LoongArch64 clang 17.0.1
LoongArch64 clang 18.1.0
LoongArch64 clang 19.1.0
M68K gcc 13.1.0
M68K gcc 13.2.0
M68K gcc 13.3.0
M68K gcc 14.1.0
M68K gcc 14.2.0
M68k clang (trunk)
MRISC32 gcc (trunk)
MSP430 gcc 4.5.3
MSP430 gcc 5.3.0
MSP430 gcc 6.2.1
MinGW clang 14.0.3
MinGW clang 14.0.6
MinGW clang 15.0.7
MinGW clang 16.0.0
MinGW clang 16.0.2
MinGW gcc 11.3.0
MinGW gcc 12.1.0
MinGW gcc 12.2.0
MinGW gcc 13.1.0
RISC-V (32-bits) gcc (trunk)
RISC-V (32-bits) gcc 10.2.0
RISC-V (32-bits) gcc 10.3.0
RISC-V (32-bits) gcc 11.2.0
RISC-V (32-bits) gcc 11.3.0
RISC-V (32-bits) gcc 11.4.0
RISC-V (32-bits) gcc 12.1.0
RISC-V (32-bits) gcc 12.2.0
RISC-V (32-bits) gcc 12.3.0
RISC-V (32-bits) gcc 12.4.0
RISC-V (32-bits) gcc 13.1.0
RISC-V (32-bits) gcc 13.2.0
RISC-V (32-bits) gcc 13.3.0
RISC-V (32-bits) gcc 14.1.0
RISC-V (32-bits) gcc 14.2.0
RISC-V (32-bits) gcc 8.2.0
RISC-V (32-bits) gcc 8.5.0
RISC-V (32-bits) gcc 9.4.0
RISC-V (64-bits) gcc (trunk)
RISC-V (64-bits) gcc 10.2.0
RISC-V (64-bits) gcc 10.3.0
RISC-V (64-bits) gcc 11.2.0
RISC-V (64-bits) gcc 11.3.0
RISC-V (64-bits) gcc 11.4.0
RISC-V (64-bits) gcc 12.1.0
RISC-V (64-bits) gcc 12.2.0
RISC-V (64-bits) gcc 12.3.0
RISC-V (64-bits) gcc 12.4.0
RISC-V (64-bits) gcc 13.1.0
RISC-V (64-bits) gcc 13.2.0
RISC-V (64-bits) gcc 13.3.0
RISC-V (64-bits) gcc 14.1.0
RISC-V (64-bits) gcc 14.2.0
RISC-V (64-bits) gcc 8.2.0
RISC-V (64-bits) gcc 8.5.0
RISC-V (64-bits) gcc 9.4.0
RISC-V rv32gc clang (trunk)
RISC-V rv32gc clang 10.0.0
RISC-V rv32gc clang 10.0.1
RISC-V rv32gc clang 11.0.0
RISC-V rv32gc clang 11.0.1
RISC-V rv32gc clang 12.0.0
RISC-V rv32gc clang 12.0.1
RISC-V rv32gc clang 13.0.0
RISC-V rv32gc clang 13.0.1
RISC-V rv32gc clang 14.0.0
RISC-V rv32gc clang 15.0.0
RISC-V rv32gc clang 16.0.0
RISC-V rv32gc clang 17.0.1
RISC-V rv32gc clang 18.1.0
RISC-V rv32gc clang 19.1.0
RISC-V rv32gc clang 9.0.0
RISC-V rv32gc clang 9.0.1
RISC-V rv64gc clang (trunk)
RISC-V rv64gc clang 10.0.0
RISC-V rv64gc clang 10.0.1
RISC-V rv64gc clang 11.0.0
RISC-V rv64gc clang 11.0.1
RISC-V rv64gc clang 12.0.0
RISC-V rv64gc clang 12.0.1
RISC-V rv64gc clang 13.0.0
RISC-V rv64gc clang 13.0.1
RISC-V rv64gc clang 14.0.0
RISC-V rv64gc clang 15.0.0
RISC-V rv64gc clang 16.0.0
RISC-V rv64gc clang 17.0.1
RISC-V rv64gc clang 18.1.0
RISC-V rv64gc clang 19.1.0
RISC-V rv64gc clang 9.0.0
RISC-V rv64gc clang 9.0.1
Raspbian Buster
Raspbian Stretch
SPARC LEON gcc 12.2.0
SPARC LEON gcc 12.3.0
SPARC LEON gcc 12.4.0
SPARC LEON gcc 13.1.0
SPARC LEON gcc 13.2.0
SPARC LEON gcc 13.3.0
SPARC LEON gcc 14.1.0
SPARC LEON gcc 14.2.0
SPARC gcc 12.2.0
SPARC gcc 12.3.0
SPARC gcc 12.4.0
SPARC gcc 13.1.0
SPARC gcc 13.2.0
SPARC gcc 13.3.0
SPARC gcc 14.1.0
SPARC gcc 14.2.0
SPARC64 gcc 12.2.0
SPARC64 gcc 12.3.0
SPARC64 gcc 12.4.0
SPARC64 gcc 13.1.0
SPARC64 gcc 13.2.0
SPARC64 gcc 13.3.0
SPARC64 gcc 14.1.0
SPARC64 gcc 14.2.0
TI C6x gcc 12.2.0
TI C6x gcc 12.3.0
TI C6x gcc 12.4.0
TI C6x gcc 13.1.0
TI C6x gcc 13.2.0
TI C6x gcc 13.3.0
TI C6x gcc 14.1.0
TI C6x gcc 14.2.0
TI CL430 21.6.1
VAX gcc NetBSDELF 10.4.0
VAX gcc NetBSDELF 10.5.0 (Nov 15 03:50:22 2023)
WebAssembly clang (trunk)
Xtensa ESP32 gcc 11.2.0 (2022r1)
Xtensa ESP32 gcc 12.2.0 (20230208)
Xtensa ESP32 gcc 8.2.0 (2019r2)
Xtensa ESP32 gcc 8.2.0 (2020r1)
Xtensa ESP32 gcc 8.2.0 (2020r2)
Xtensa ESP32 gcc 8.4.0 (2020r3)
Xtensa ESP32 gcc 8.4.0 (2021r1)
Xtensa ESP32 gcc 8.4.0 (2021r2)
Xtensa ESP32-S2 gcc 11.2.0 (2022r1)
Xtensa ESP32-S2 gcc 12.2.0 (20230208)
Xtensa ESP32-S2 gcc 8.2.0 (2019r2)
Xtensa ESP32-S2 gcc 8.2.0 (2020r1)
Xtensa ESP32-S2 gcc 8.2.0 (2020r2)
Xtensa ESP32-S2 gcc 8.4.0 (2020r3)
Xtensa ESP32-S2 gcc 8.4.0 (2021r1)
Xtensa ESP32-S2 gcc 8.4.0 (2021r2)
Xtensa ESP32-S3 gcc 11.2.0 (2022r1)
Xtensa ESP32-S3 gcc 12.2.0 (20230208)
Xtensa ESP32-S3 gcc 8.4.0 (2020r3)
Xtensa ESP32-S3 gcc 8.4.0 (2021r1)
Xtensa ESP32-S3 gcc 8.4.0 (2021r2)
arm64 msvc v19.20 VS16.0
arm64 msvc v19.21 VS16.1
arm64 msvc v19.22 VS16.2
arm64 msvc v19.23 VS16.3
arm64 msvc v19.24 VS16.4
arm64 msvc v19.25 VS16.5
arm64 msvc v19.27 VS16.7
arm64 msvc v19.28 VS16.8
arm64 msvc v19.28 VS16.9
arm64 msvc v19.29 VS16.10
arm64 msvc v19.29 VS16.11
arm64 msvc v19.30 VS17.0
arm64 msvc v19.31 VS17.1
arm64 msvc v19.32 VS17.2
arm64 msvc v19.33 VS17.3
arm64 msvc v19.34 VS17.4
arm64 msvc v19.35 VS17.5
arm64 msvc v19.36 VS17.6
arm64 msvc v19.37 VS17.7
arm64 msvc v19.38 VS17.8
arm64 msvc v19.39 VS17.9
arm64 msvc v19.40 VS17.10
arm64 msvc v19.latest
armv7-a clang (trunk)
armv7-a clang 10.0.0
armv7-a clang 10.0.1
armv7-a clang 11.0.0
armv7-a clang 11.0.1
armv7-a clang 12.0.0
armv7-a clang 12.0.1
armv7-a clang 13.0.0
armv7-a clang 13.0.1
armv7-a clang 14.0.0
armv7-a clang 15.0.0
armv7-a clang 16.0.0
armv7-a clang 17.0.1
armv7-a clang 18.1.0
armv7-a clang 19.1.0
armv7-a clang 9.0.0
armv7-a clang 9.0.1
armv8-a clang (all architectural features, trunk)
armv8-a clang (trunk)
armv8-a clang 10.0.0
armv8-a clang 10.0.1
armv8-a clang 11.0.0
armv8-a clang 11.0.1
armv8-a clang 12.0.0
armv8-a clang 13.0.0
armv8-a clang 14.0.0
armv8-a clang 15.0.0
armv8-a clang 16.0.0
armv8-a clang 17.0.1
armv8-a clang 18.1.0
armv8-a clang 19.1.0
armv8-a clang 9.0.0
armv8-a clang 9.0.1
clang-cl 18.1.0
ellcc 0.1.33
ellcc 0.1.34
ellcc 2017-07-16
hexagon-clang 16.0.5
llvm-mos atari2600-3e
llvm-mos atari2600-4k
llvm-mos atari2600-common
llvm-mos atari5200-supercart
llvm-mos atari8-cart-megacart
llvm-mos atari8-cart-std
llvm-mos atari8-cart-xegs
llvm-mos atari8-common
llvm-mos atari8-dos
llvm-mos c128
llvm-mos c64
llvm-mos commodore
llvm-mos cpm65
llvm-mos cx16
llvm-mos dodo
llvm-mos eater
llvm-mos mega65
llvm-mos nes
llvm-mos nes-action53
llvm-mos nes-cnrom
llvm-mos nes-gtrom
llvm-mos nes-mmc1
llvm-mos nes-mmc3
llvm-mos nes-nrom
llvm-mos nes-unrom
llvm-mos nes-unrom-512
llvm-mos osi-c1p
llvm-mos pce
llvm-mos pce-cd
llvm-mos pce-common
llvm-mos pet
llvm-mos rp6502
llvm-mos rpc8e
llvm-mos supervision
llvm-mos vic20
loongarch64 gcc 12.2.0
loongarch64 gcc 12.3.0
loongarch64 gcc 12.4.0
loongarch64 gcc 13.1.0
loongarch64 gcc 13.2.0
loongarch64 gcc 13.3.0
loongarch64 gcc 14.1.0
loongarch64 gcc 14.2.0
mips clang 13.0.0
mips clang 14.0.0
mips clang 15.0.0
mips clang 16.0.0
mips clang 17.0.1
mips clang 18.1.0
mips clang 19.1.0
mips gcc 11.2.0
mips gcc 12.1.0
mips gcc 12.2.0
mips gcc 12.3.0
mips gcc 12.4.0
mips gcc 13.1.0
mips gcc 13.2.0
mips gcc 13.3.0
mips gcc 14.1.0
mips gcc 14.2.0
mips gcc 4.9.4
mips gcc 5.4
mips gcc 5.5.0
mips gcc 9.3.0 (codescape)
mips gcc 9.5.0
mips64 (el) gcc 12.1.0
mips64 (el) gcc 12.2.0
mips64 (el) gcc 12.3.0
mips64 (el) gcc 12.4.0
mips64 (el) gcc 13.1.0
mips64 (el) gcc 13.2.0
mips64 (el) gcc 13.3.0
mips64 (el) gcc 14.1.0
mips64 (el) gcc 14.2.0
mips64 (el) gcc 4.9.4
mips64 (el) gcc 5.4.0
mips64 (el) gcc 5.5.0
mips64 (el) gcc 9.5.0
mips64 clang 13.0.0
mips64 clang 14.0.0
mips64 clang 15.0.0
mips64 clang 16.0.0
mips64 clang 17.0.1
mips64 clang 18.1.0
mips64 clang 19.1.0
mips64 gcc 11.2.0
mips64 gcc 12.1.0
mips64 gcc 12.2.0
mips64 gcc 12.3.0
mips64 gcc 12.4.0
mips64 gcc 13.1.0
mips64 gcc 13.2.0
mips64 gcc 13.3.0
mips64 gcc 14.1.0
mips64 gcc 14.2.0
mips64 gcc 4.9.4
mips64 gcc 5.4.0
mips64 gcc 5.5.0
mips64 gcc 9.5.0
mips64el clang 13.0.0
mips64el clang 14.0.0
mips64el clang 15.0.0
mips64el clang 16.0.0
mips64el clang 17.0.1
mips64el clang 18.1.0
mips64el clang 19.1.0
mipsel clang 13.0.0
mipsel clang 14.0.0
mipsel clang 15.0.0
mipsel clang 16.0.0
mipsel clang 17.0.1
mipsel clang 18.1.0
mipsel clang 19.1.0
mipsel gcc 12.1.0
mipsel gcc 12.2.0
mipsel gcc 12.3.0
mipsel gcc 12.4.0
mipsel gcc 13.1.0
mipsel gcc 13.2.0
mipsel gcc 13.3.0
mipsel gcc 14.1.0
mipsel gcc 14.2.0
mipsel gcc 4.9.4
mipsel gcc 5.4.0
mipsel gcc 5.5.0
mipsel gcc 9.5.0
nanoMIPS gcc 6.3.0 (mtk)
power gcc 11.2.0
power gcc 12.1.0
power gcc 12.2.0
power gcc 12.3.0
power gcc 12.4.0
power gcc 13.1.0
power gcc 13.2.0
power gcc 13.3.0
power gcc 14.1.0
power gcc 14.2.0
power gcc 4.8.5
power64 AT12.0 (gcc8)
power64 AT13.0 (gcc9)
power64 gcc 11.2.0
power64 gcc 12.1.0
power64 gcc 12.2.0
power64 gcc 12.3.0
power64 gcc 12.4.0
power64 gcc 13.1.0
power64 gcc 13.2.0
power64 gcc 13.3.0
power64 gcc 14.1.0
power64 gcc 14.2.0
power64 gcc trunk
power64le AT12.0 (gcc8)
power64le AT13.0 (gcc9)
power64le clang (trunk)
power64le gcc 11.2.0
power64le gcc 12.1.0
power64le gcc 12.2.0
power64le gcc 12.3.0
power64le gcc 12.4.0
power64le gcc 13.1.0
power64le gcc 13.2.0
power64le gcc 13.3.0
power64le gcc 14.1.0
power64le gcc 14.2.0
power64le gcc 6.3.0
power64le gcc trunk
powerpc64 clang (trunk)
s390x gcc 11.2.0
s390x gcc 12.1.0
s390x gcc 12.2.0
s390x gcc 12.3.0
s390x gcc 12.4.0
s390x gcc 13.1.0
s390x gcc 13.2.0
s390x gcc 13.3.0
s390x gcc 14.1.0
s390x gcc 14.2.0
sh gcc 12.2.0
sh gcc 12.3.0
sh gcc 12.4.0
sh gcc 13.1.0
sh gcc 13.2.0
sh gcc 13.3.0
sh gcc 14.1.0
sh gcc 14.2.0
sh gcc 4.9.4
sh gcc 9.5.0
vast (trunk)
x64 msvc v19.0 (WINE)
x64 msvc v19.10 (WINE)
x64 msvc v19.14 (WINE)
x64 msvc v19.20 VS16.0
x64 msvc v19.21 VS16.1
x64 msvc v19.22 VS16.2
x64 msvc v19.23 VS16.3
x64 msvc v19.24 VS16.4
x64 msvc v19.25 VS16.5
x64 msvc v19.27 VS16.7
x64 msvc v19.28 VS16.8
x64 msvc v19.28 VS16.9
x64 msvc v19.29 VS16.10
x64 msvc v19.29 VS16.11
x64 msvc v19.30 VS17.0
x64 msvc v19.31 VS17.1
x64 msvc v19.32 VS17.2
x64 msvc v19.33 VS17.3
x64 msvc v19.34 VS17.4
x64 msvc v19.35 VS17.5
x64 msvc v19.36 VS17.6
x64 msvc v19.37 VS17.7
x64 msvc v19.38 VS17.8
x64 msvc v19.39 VS17.9
x64 msvc v19.40 VS17.10
x64 msvc v19.latest
x86 djgpp 4.9.4
x86 djgpp 5.5.0
x86 djgpp 6.4.0
x86 djgpp 7.2.0
x86 msvc v19.0 (WINE)
x86 msvc v19.10 (WINE)
x86 msvc v19.14 (WINE)
x86 msvc v19.20 VS16.0
x86 msvc v19.21 VS16.1
x86 msvc v19.22 VS16.2
x86 msvc v19.23 VS16.3
x86 msvc v19.24 VS16.4
x86 msvc v19.25 VS16.5
x86 msvc v19.27 VS16.7
x86 msvc v19.28 VS16.8
x86 msvc v19.28 VS16.9
x86 msvc v19.29 VS16.10
x86 msvc v19.29 VS16.11
x86 msvc v19.30 VS17.0
x86 msvc v19.31 VS17.1
x86 msvc v19.32 VS17.2
x86 msvc v19.33 VS17.3
x86 msvc v19.34 VS17.4
x86 msvc v19.35 VS17.5
x86 msvc v19.36 VS17.6
x86 msvc v19.37 VS17.7
x86 msvc v19.38 VS17.8
x86 msvc v19.39 VS17.9
x86 msvc v19.40 VS17.10
x86 msvc v19.latest
x86 nvc++ 22.11
x86 nvc++ 22.7
x86 nvc++ 22.9
x86 nvc++ 23.1
x86 nvc++ 23.11
x86 nvc++ 23.3
x86 nvc++ 23.5
x86 nvc++ 23.7
x86 nvc++ 23.9
x86 nvc++ 24.1
x86 nvc++ 24.3
x86 nvc++ 24.5
x86 nvc++ 24.7
x86 nvc++ 24.9
x86-64 Zapcc 190308
x86-64 clang (EricWF contracts)
x86-64 clang (amd-staging)
x86-64 clang (assertions trunk)
x86-64 clang (clangir)
x86-64 clang (dascandy contracts)
x86-64 clang (experimental -Wlifetime)
x86-64 clang (experimental P1061)
x86-64 clang (experimental P1144)
x86-64 clang (experimental P1221)
x86-64 clang (experimental P2996)
x86-64 clang (experimental P3068)
x86-64 clang (experimental P3309)
x86-64 clang (experimental P3367)
x86-64 clang (experimental P3372)
x86-64 clang (experimental metaprogramming - P2632)
x86-64 clang (old concepts branch)
x86-64 clang (p1974)
x86-64 clang (pattern matching - P2688)
x86-64 clang (reflection)
x86-64 clang (resugar)
x86-64 clang (string interpolation - P3412)
x86-64 clang (thephd.dev)
x86-64 clang (trunk)
x86-64 clang (variadic friends - P2893)
x86-64 clang (widberg)
x86-64 clang 10.0.0
x86-64 clang 10.0.0 (assertions)
x86-64 clang 10.0.1
x86-64 clang 11.0.0
x86-64 clang 11.0.0 (assertions)
x86-64 clang 11.0.1
x86-64 clang 12.0.0
x86-64 clang 12.0.0 (assertions)
x86-64 clang 12.0.1
x86-64 clang 13.0.0
x86-64 clang 13.0.0 (assertions)
x86-64 clang 13.0.1
x86-64 clang 14.0.0
x86-64 clang 14.0.0 (assertions)
x86-64 clang 15.0.0
x86-64 clang 15.0.0 (assertions)
x86-64 clang 16.0.0
x86-64 clang 16.0.0 (assertions)
x86-64 clang 17.0.1
x86-64 clang 17.0.1 (assertions)
x86-64 clang 18.1.0
x86-64 clang 18.1.0 (assertions)
x86-64 clang 19.1.0
x86-64 clang 19.1.0 (assertions)
x86-64 clang 2.6.0 (assertions)
x86-64 clang 2.7.0 (assertions)
x86-64 clang 2.8.0 (assertions)
x86-64 clang 2.9.0 (assertions)
x86-64 clang 3.0.0
x86-64 clang 3.0.0 (assertions)
x86-64 clang 3.1
x86-64 clang 3.1 (assertions)
x86-64 clang 3.2
x86-64 clang 3.2 (assertions)
x86-64 clang 3.3
x86-64 clang 3.3 (assertions)
x86-64 clang 3.4 (assertions)
x86-64 clang 3.4.1
x86-64 clang 3.5
x86-64 clang 3.5 (assertions)
x86-64 clang 3.5.1
x86-64 clang 3.5.2
x86-64 clang 3.6
x86-64 clang 3.6 (assertions)
x86-64 clang 3.7
x86-64 clang 3.7 (assertions)
x86-64 clang 3.7.1
x86-64 clang 3.8
x86-64 clang 3.8 (assertions)
x86-64 clang 3.8.1
x86-64 clang 3.9.0
x86-64 clang 3.9.0 (assertions)
x86-64 clang 3.9.1
x86-64 clang 4.0.0
x86-64 clang 4.0.0 (assertions)
x86-64 clang 4.0.1
x86-64 clang 5.0.0
x86-64 clang 5.0.0 (assertions)
x86-64 clang 5.0.1
x86-64 clang 5.0.2
x86-64 clang 6.0.0
x86-64 clang 6.0.0 (assertions)
x86-64 clang 6.0.1
x86-64 clang 7.0.0
x86-64 clang 7.0.0 (assertions)
x86-64 clang 7.0.1
x86-64 clang 7.1.0
x86-64 clang 8.0.0
x86-64 clang 8.0.0 (assertions)
x86-64 clang 8.0.1
x86-64 clang 9.0.0
x86-64 clang 9.0.0 (assertions)
x86-64 clang 9.0.1
x86-64 clang rocm-4.5.2
x86-64 clang rocm-5.0.2
x86-64 clang rocm-5.1.3
x86-64 clang rocm-5.2.3
x86-64 clang rocm-5.3.3
x86-64 clang rocm-5.7.0
x86-64 clang rocm-6.0.2
x86-64 clang rocm-6.1.2
x86-64 gcc (contract labels)
x86-64 gcc (contracts natural syntax)
x86-64 gcc (contracts)
x86-64 gcc (coroutines)
x86-64 gcc (modules)
x86-64 gcc (trunk)
x86-64 gcc 10.1
x86-64 gcc 10.2
x86-64 gcc 10.3
x86-64 gcc 10.4
x86-64 gcc 10.5
x86-64 gcc 11.1
x86-64 gcc 11.2
x86-64 gcc 11.3
x86-64 gcc 11.4
x86-64 gcc 12.1
x86-64 gcc 12.2
x86-64 gcc 12.3
x86-64 gcc 12.4
x86-64 gcc 13.1
x86-64 gcc 13.2
x86-64 gcc 13.3
x86-64 gcc 14.1
x86-64 gcc 14.2
x86-64 gcc 3.4.6
x86-64 gcc 4.0.4
x86-64 gcc 4.1.2
x86-64 gcc 4.4.7
x86-64 gcc 4.5.3
x86-64 gcc 4.6.4
x86-64 gcc 4.7.1
x86-64 gcc 4.7.2
x86-64 gcc 4.7.3
x86-64 gcc 4.7.4
x86-64 gcc 4.8.1
x86-64 gcc 4.8.2
x86-64 gcc 4.8.3
x86-64 gcc 4.8.4
x86-64 gcc 4.8.5
x86-64 gcc 4.9.0
x86-64 gcc 4.9.1
x86-64 gcc 4.9.2
x86-64 gcc 4.9.3
x86-64 gcc 4.9.4
x86-64 gcc 5.1
x86-64 gcc 5.2
x86-64 gcc 5.3
x86-64 gcc 5.4
x86-64 gcc 5.5
x86-64 gcc 6.1
x86-64 gcc 6.2
x86-64 gcc 6.3
x86-64 gcc 6.4
x86-64 gcc 6.5
x86-64 gcc 7.1
x86-64 gcc 7.2
x86-64 gcc 7.3
x86-64 gcc 7.4
x86-64 gcc 7.5
x86-64 gcc 8.1
x86-64 gcc 8.2
x86-64 gcc 8.3
x86-64 gcc 8.4
x86-64 gcc 8.5
x86-64 gcc 9.1
x86-64 gcc 9.2
x86-64 gcc 9.3
x86-64 gcc 9.4
x86-64 gcc 9.5
x86-64 icc 13.0.1
x86-64 icc 16.0.3
x86-64 icc 17.0.0
x86-64 icc 18.0.0
x86-64 icc 19.0.0
x86-64 icc 19.0.1
x86-64 icc 2021.1.2
x86-64 icc 2021.10.0
x86-64 icc 2021.2.0
x86-64 icc 2021.3.0
x86-64 icc 2021.4.0
x86-64 icc 2021.5.0
x86-64 icc 2021.6.0
x86-64 icc 2021.7.0
x86-64 icc 2021.7.1
x86-64 icc 2021.8.0
x86-64 icc 2021.9.0
x86-64 icx (latest)
x86-64 icx 2021.1.2
x86-64 icx 2021.2.0
x86-64 icx 2021.3.0
x86-64 icx 2021.4.0
x86-64 icx 2022.0.0
x86-64 icx 2022.1.0
x86-64 icx 2022.2.0
x86-64 icx 2022.2.1
x86-64 icx 2023.0.0
x86-64 icx 2023.1.0
x86-64 icx 2023.2.1
x86-64 icx 2024.0.0
x86-64 icx 2024.1.0
x86-64 icx 2024.2.0
zig c++ 0.10.0
zig c++ 0.11.0
zig c++ 0.12.0
zig c++ 0.12.1
zig c++ 0.13.0
zig c++ 0.6.0
zig c++ 0.7.0
zig c++ 0.7.1
zig c++ 0.8.0
zig c++ 0.9.0
zig c++ trunk
Options
Source code
#include <unifex/sender_concepts.hpp> #include <unifex/scheduler_concepts.hpp> #include <unifex/stop_token_concepts.hpp> #include <unifex/get_stop_token.hpp> #include <unifex/blocking.hpp> #include <unifex/just.hpp> #include <unifex/then.hpp> #include <unifex/this.hpp> #include <exception> #include <system_error> #include <string> #include <variant> #include <tuple> using namespace unifex; template<typename List, size_t Expired> struct _type_list_erase_front; template<typename... Es> struct _type_list_erase_front<type_list<Es...>, 0>{ using type = type_list<Es...>; }; template<typename E0> struct _type_list_erase_front<type_list<E0>, 1>{ using type = type_list<>; }; template<typename E0, typename E1, typename... EN, size_t Expired> struct _type_list_erase_front<type_list<E0, E1, EN...>, Expired>{ using type = typename _type_list_erase_front<type_list<E1, EN...>, Expired - 1>::type; }; template<typename List, size_t Expired> using type_list_erase_front_t = typename _type_list_erase_front<List, Expired>::type; struct identity_t { template<typename... TN> requires (sizeof...(TN) == 1) using fn = std::remove_cvref_t<decltype((std::declval<TN>(), ...))>; }; struct expects_one_t { template<typename... TN> requires (sizeof...(TN) == 1) using fn = std::remove_cvref_t<decltype((std::declval<TN>(), ...))>; }; template<template<typename...> class OuterFn, template<typename...> class InnerFn = identity_t::fn> struct outer_t { template<typename... TN> using fn = OuterFn<InnerFn<TN...>>; }; template<template<typename...> class OuterFn, template<typename...> class InnerFn = identity_t::fn> struct apply_t { template<typename... TN> using fn = typename InnerFn<TN...>::template apply<OuterFn>; }; template<template<typename...> class Fn, template<typename...> class InnerFn = identity_t::fn> struct each_t { template<typename... TN> using fn = typename InnerFn<TN...>::template each<Fn>; }; template<template<typename...> class InnerFn = identity_t::fn> struct as_type_t { template<typename... TN> using fn = typename InnerFn<TN...>::type; }; template<typename... AN> struct arguments; template<typename Sig> struct signature; template<typename Sig> struct _signature_arguments; template<typename Ret, typename... As> struct _signature_arguments<Ret(As...)>{ using type = arguments<As...>; using return_type = Ret; static inline constexpr bool noexcept_v = false; }; template<typename Ret, typename... As> struct _signature_arguments<Ret(As...) noexcept>{ using type = arguments<As...>; using return_type = Ret; static inline constexpr bool noexcept_v = true; }; template<typename Sig> using signature_arguments_t = typename _signature_arguments<Sig>::type; template<typename... AN> struct arguments { inline static constexpr size_t size = sizeof...(AN); using type = type_list<AN...>; template<size_t Index> using at = std::tuple_element_t<Index, std::tuple<AN...>>; template<template<typename...> class Fn> using apply = Fn<AN...>; template<template<typename...> class Fn> using each = arguments<Fn<AN>...>; template<size_t Expired> using erase_front = typename type_list_erase_front_t<type, Expired>::template apply<arguments>; template<typename R, bool NoExcept> using signature_from = signature<R(AN...) noexcept(NoExcept)>; }; template<typename Sig> struct signature { using type = Sig; template<template<typename...> class Fn> using apply = Fn<Sig>; using return_type = typename _signature_arguments<Sig>::return_type; static inline constexpr bool noexcept_v = _signature_arguments<Sig>::noexcept_v; using arguments = signature_arguments_t<Sig>; using argument_list = typename arguments::type; template<size_t Index> using argument_at = typename arguments::template at<Index>; template<template<typename...> class Fn> using apply_arguments = typename arguments::template apply<Fn>; template<template<typename...> class Fn> using each_argument = typename arguments::template each<Fn>; }; template<typename... SN> requires (std::is_function_v<SN> && ...) struct signatures { inline static constexpr size_t size = sizeof...(SN); using type = type_list<SN...>; template<size_t Index> using at = std::tuple_element_t<Index, std::tuple<SN...>>; template<template<typename...> class Fn> using apply = Fn<SN...>; template<template<typename...> class Fn> using each = type_list<Fn<SN>...>; template<size_t Expired> using erase_front = type_list_erase_front_t<type, Expired>; using signature_list = type_list<signature<SN>...>; template<template<typename...> class Fn> using apply_signature = Fn<signature<SN>...>; template<template<typename...> class Fn> using each_signature = type_list<Fn<signature<SN>>...>; using arguments_list = type_list<signature_arguments_t<SN>...>; using argument_lists = type_list<typename signature_arguments_t<SN>::type...>; template<template<typename...> class Fn> using apply_arguments = Fn<signature_arguments_t<SN>...>; template<template<typename...> class Fn> using each_arguments = type_list<Fn<signature_arguments_t<SN>>...>; template<template<typename...> class Fn> using each_argument = type_list<typename signature_arguments_t<SN>::template each<Fn>...>; }; template<size_t Expired, template<typename...> class InnerFn = identity_t::fn> struct erase_front_t { template<typename... TN> using fn = typename InnerFn<TN...>::template erase_front<Expired>; }; template<size_t Index, template<typename...> class InnerFn = identity_t::fn> struct element_at_t { template<typename... TN> using fn = typename InnerFn<TN...>::template at<Index>; }; template<template<typename...> class InnerFn = identity_t::fn> struct as_arguments_t { template<typename... TN> using fn = typename InnerFn<TN...>::arguments; }; template<typename T> struct exact_v { template<typename Other> inline static constexpr bool value = same_as<T, Other>; }; template<typename T> struct decayed_v { template<typename Other> inline static constexpr bool value = same_as<std::decay_t<T>, std::decay_t<Other>>; }; template<typename T> struct derived_from_v { template<typename Other> inline static constexpr bool value = derived_from<std::remove_cvref_t<Other>, std::remove_cvref_t<T>>; }; template<typename Pred> struct neg_v { template<typename... TN> inline static constexpr bool value = !Pred::template value<TN...>; }; template<typename... PredN> struct or_v { template<typename... TN> inline static constexpr bool value = (PredN::template value<TN...> || ...); }; template<typename... PredN> struct and_v { template<typename... TN> inline static constexpr bool value = (PredN::template value<TN...> && ...); }; template<typename... PredN> struct one_of_v { template<typename... TN> inline static constexpr bool value = (PredN::template value<TN...> || ...); }; template<typename... PredN> struct none_of_v { template<typename... TN> inline static constexpr bool value = (!PredN::template value<TN...> && ...); }; template<typename... SignaturesN> using flatten_signatures_t = typename concat_type_lists_unique_t<typename SignaturesN::type...>::template apply<signatures>; template<typename Sig, typename Pred> struct _filter_signature { using type = std::conditional_t< Pred::template value<signature<Sig>>, signatures<Sig>, signatures<>>; }; template<typename Sig, typename Pred> using filter_signature_t = typename _filter_signature<Sig, Pred>::type; template<typename Pred, template<typename...> class Inner = identity_t::fn> struct filter_signatures_t { template<typename... SigN> using fn = flatten_signatures_t<filter_signature_t<Inner<SigN>, Pred>...>; }; template<typename Sig, size_t Index, typename Pred> struct _filter_signature_at; template<typename Ret, typename... As, size_t Index, typename Pred> struct _filter_signature_at<Ret(As...), Index, Pred>{ using as_t = std::tuple<Ret, As...>; using type = std::conditional_t< Pred::template value<std::tuple_element_t<Index + 1, as_t>>, signatures<Ret(As...)>, signatures<>>; }; template<typename Ret, typename... As, size_t Index, typename Pred> struct _filter_signature_at<Ret(As...) noexcept, Index, Pred>{ using as_t = std::tuple<Ret, As...>; using type = std::conditional_t< Pred::template value<std::tuple_element_t<Index + 1, as_t>>, signatures<Ret(As...) noexcept>, signatures<>>; }; template<typename Sig, size_t Index, typename Pred> using filter_signature_at_t = typename _filter_signature_at<Sig, Index, Pred>::type; template <typename List, size_t Index, typename Pred> struct _filter_signatures_by; template <typename... SN, size_t Index, typename Pred> struct _filter_signatures_by<signatures<SN...>, Index, Pred>{ using type = flatten_signatures_t<filter_signature_at_t<SN, Index, Pred>...>; }; // Index is in the range -1..N // -1 is the return value, 0..N are the arguments template <typename List, size_t Index, typename Pred> using filter_signatures_by_t = typename _filter_signatures_by<List, Index, Pred>::type; template <typename List, typename Pred> using filter_signatures_by_cpo_t = filter_signatures_by_t<List, 0, Pred>; template <typename List, typename Pred> using filter_signatures_by_this_t = filter_signatures_by_t<List, 1, Pred>; template <typename List, size_t Index, typename Pred> using filter_signatures_by_arg_t = filter_signatures_by_t<List, Index + 2, Pred>; template <typename List, typename Pred> using filter_signatures_by_ret_t = filter_signatures_by_t<List, size_t(-1), Pred>; template <typename Signatures, template<typename...> class Fn> using transform_signatures_t = typename Signatures::template each_signature< as_type_t< outer_t<Fn>::template fn> ::template fn> ::template apply<signatures>; template <template<typename...> class Fn> struct transform_signature_arguments_t { template<typename Signature> using fn = typename Fn<typename Signature::arguments> ::template signature_from< typename Signature::return_type, Signature::noexcept_v>; }; template <template<typename...> class Fn> struct transform_signature_argument_pack_t { template<typename Signature> using signature_t = signature<typename Signature::arguments::template apply<Fn>>; template<typename Signature> using fn = typename signature_t<Signature> ::arguments ::template signature_from< typename signature_t<Signature>::return_type, Signature::noexcept_v && signature_t<Signature>::noexcept_v>; }; template<typename LhSignature> struct same_ret_args_v { template<typename RhSignature> static inline constexpr bool value = same_as<typename LhSignature::arguments, typename RhSignature::arguments> && same_as<typename LhSignature::return_type, typename RhSignature::return_type>; }; template<typename Signatures> struct select_noexcept_v { template<typename Signature> static inline constexpr bool value = Signatures::template apply<filter_signatures_t<same_ret_args_v<Signature>>::template fn>::size == 1 || !Signature::noexcept_v; }; template<typename... SignaturesN> using signatures_from_t = typename flatten_signatures_t<SignaturesN...>::template apply<filter_signatures_t<select_noexcept_v<flatten_signatures_t<SignaturesN...>>>::template fn>; // usage surface template<typename Sender> using expected_signatures_t = decltype(std::declval<const Sender&>().expected_signatures()); template <typename Sender> using expected_query_signatures_t = filter_signatures_by_this_t<expected_signatures_t<Sender>, exact_v<const this_&>>; template <typename Sender> using expected_set_value_signatures_t = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, derived_from_v<tag_t<set_value>>>; template <typename Sender> using expected_set_error_signatures_t = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, derived_from_v<tag_t<set_error>>>; template <typename Sender> using expected_set_done_signatures_t = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, derived_from_v<tag_t<set_done>>>; template <typename Sender> using expected_receiver_signals = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, one_of_v<derived_from_v<tag_t<set_value>>, derived_from_v<tag_t<set_error>>, derived_from_v<tag_t<set_done>>>>; template <typename Sender> using remove_expected_query_signatures_t = filter_signatures_by_this_t<expected_signatures_t<Sender>, neg_v<exact_v<const this_&>>>; template <typename Sender> using remove_expected_set_value_signatures_t = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, neg_v<derived_from_v<tag_t<set_value>>>>; template <typename Sender> using remove_expected_set_error_signatures_t = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, neg_v<derived_from_v<tag_t<set_error>>>>; template <typename Sender> using remove_expected_set_done_signatures_t = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, neg_v<derived_from_v<tag_t<set_done>>>>; template <typename Sender> using remove_expected_receiver_signals = filter_signatures_by_cpo_t<expected_signatures_t<Sender>, none_of_v<derived_from_v<tag_t<set_value>>, derived_from_v<tag_t<set_error>>, derived_from_v<tag_t<set_done>>>>; template <typename Sender, template<typename...> class Fn> using transform_expected_set_value_signatures_t = transform_signatures_t<expected_set_value_signatures_t<Sender>, Fn>; template <typename Sender, template<typename...> class Fn> using transform_expected_set_error_signatures_t = transform_signatures_t<expected_set_error_signatures_t<Sender>, Fn>; // compatibility surface template <typename Sender, template<typename...> class Variant, template<typename...> class Tuple> using new_sender_value_types_t = type_list_nested_apply_t< typename expected_set_value_signatures_t<Sender>:: // erase CPO and this_ args, and return type_list of remaining args template each_arguments<as_type_t<erase_front_t<2>::fn>::template fn>, Variant, Tuple>; template <typename Sender, template<typename...> class Variant> using new_sender_error_types_t = typename expected_set_error_signatures_t<Sender>:: // extract the argument after CPO and this_ template each_arguments<element_at_t<2>::fn>:: template apply<Variant>; template <typename Sender> static inline constexpr bool new_sender_sends_done_v = expected_set_done_signatures_t<Sender>::size != 0; template<bool NoExcept> struct expected_set_value_signature_from { template<typename... AN> using fn = typename arguments<tag_t<set_value>, this_&&, AN...>::template signature_from<void, NoExcept>::type; }; struct expected_set_error_signature_from { template<typename... AN> using fn = signatures<typename arguments<tag_t<set_error>, this_&&, AN>::template signature_from<void, true>::type...>; }; template<typename... TN> using set_value_for = signatures<expected_set_value_signature_from<false>::fn<TN...>>; template<typename... TN> using set_value_noexcept_for = signatures<expected_set_value_signature_from<true>::fn<TN...>>; template<template<template<typename...> class, template<typename...> class> class value_types> using signatures_from_value_types = value_types<signatures, expected_set_value_signature_from<false>::fn>; template<typename... TN> using set_error_for = expected_set_error_signature_from::fn<TN...>; template<template<template<typename...> class> class error_types> using signatures_from_error_types = error_types<expected_set_error_signature_from::fn>; template<bool sends_done> using signatures_from_sends_done = std::conditional_t<sends_done, signatures<void(tag_t<set_done>, this_&&)noexcept>, signatures<>>; template<bool sends_done> using set_done_if = signatures_from_sends_done<sends_done>; template<typename... CpoN> using queries_for = signatures<typename arguments<CpoN, const this_&>::template signature_from<void, true>::type...>; // example struct get_time_scheduler_t : tag_t<get_scheduler> {}; struct asender { signatures_from_t< #if 1 signatures< void(tag_t<set_value>, this_&&) noexcept, void(tag_t<set_value>, this_&&, int), void(tag_t<set_error>, this_&&, std::exception_ptr) noexcept, void(tag_t<set_error>, this_&&, std::error_code) noexcept, void(tag_t<set_done>, this_&&) noexcept, void(get_time_scheduler_t, const this_&) noexcept, void(tag_t<get_scheduler>, const this_&) noexcept, void(tag_t<get_stop_token>, const this_&) noexcept>, #endif // the above is one way to express the signatures (with greater fidelity) // the below is another way, since these are merged with concat unique, // the result is the same signature list result as before // set_value_noexcept_for<>, set_value_for<int>, set_error_for<std::exception_ptr, std::error_code>, set_done_if<true>, queries_for<get_time_scheduler_t, tag_t<get_scheduler>, tag_t<get_stop_token>> > expected_signatures() const noexcept; // LATER: make expected_signatures into a tag_invoke CPO }; static_assert(filter_signatures_by_ret_t< expected_signatures_t<asender>, exact_v<void>>::size == 8); static_assert(expected_query_signatures_t<asender>::size == 3); static_assert(expected_set_value_signatures_t<asender>::size == 2); static_assert(same_as< expected_set_value_signatures_t<asender>, signatures< void(tag_t<set_value>, this_&&) noexcept, void(tag_t<set_value>, this_&&, int)> >); static_assert(expected_set_error_signatures_t<asender>::size == 2); static_assert(same_as< expected_set_error_signatures_t<asender>, signatures< void(tag_t<set_error>, this_&&, std::exception_ptr) noexcept, void(tag_t<set_error>, this_&&, std::error_code) noexcept> >); static_assert(same_as< new_sender_value_types_t<asender, std::variant, std::tuple>, std::variant<std::tuple<>, std::tuple<int>>>); static_assert(same_as< new_sender_error_types_t<asender, std::variant>, std::variant<std::exception_ptr, std::error_code>>); static_assert(new_sender_sends_done_v<asender>); namespace thendetail { template <typename Result, typename = void> struct result_overload { using type = type_list<Result>; }; template <typename Result> struct result_overload<Result, std::enable_if_t<std::is_void_v<Result>>> { using type = type_list<>; }; } // namespace thendetail template<typename Predecessor, typename Func> struct updatedthensender { private: // This helper transforms an argument list into either // - type_list<type_list<Result>> - if Result is non-void, or // - type_list<type_list<>> - if Result is void template <typename... Args> using result = type_list<typename thendetail::result_overload< std::invoke_result_t<Func, Args...>>::type>; // above is the original function to apply when building value_types // // below is the new function to apply in transform_.. // This helper transforms an argument list into either // - void(Result) noexcept(..) - if return_type is non-void, or // - void() noexcept(..) - if return_type is void struct result_signature { template <typename... Args> using return_type = std::invoke_result_t<Func, Args...>; template <typename... Args> static inline constexpr bool noexcept_v = std::is_nothrow_invocable_v<Func, Args...>; template <typename CPO, typename Target, typename... Args> requires std::is_void_v<return_type<Args...>> static void _fn(CPO, Target) noexcept(noexcept_v<Args...>); template <typename CPO, typename Target, typename... Args> requires (!std::is_void_v<return_type<Args...>>) static void _fn(CPO, Target, return_type<Args...>) noexcept(noexcept_v<Args...>); template <typename CPO, typename Target, typename... Args> using fn = decltype(_fn<CPO, Target, Args...>); }; // I would not want this to be the surface we program to. // this is to show that it is easy to transition from this // representation to the signature list representation template < template <typename...> class Variant, template <typename...> class Tuple> using value_types = type_list_nested_apply_t< new_sender_value_types_t<Predecessor, concat_type_lists_unique_t, result>, Variant, Tuple>; template <template <typename...> class Variant> using error_types = typename concat_type_lists_unique_t< new_sender_error_types_t<Predecessor, type_list>, type_list<std::exception_ptr>>::template apply<Variant>; static constexpr bool sends_done = new_sender_sends_done_v<Predecessor>; // add queries needed, concat unique will merge them with the existing queries using queries = signatures< void(tag_t<get_stop_token>, const this_&) noexcept>; public: signatures_from_t< #if 0 signatures_from_value_types<value_types>, signatures_from_error_types<error_types>, signatures_from_sends_done<sends_done>, // apply all cpos not replaced above remove_expected_receiver_signals<Predecessor>, // merge in locally expected queries queries, #endif // // above is the migration path // // below is something like what I would prefer // // this produces signatures<void(tag_t<set_value>, this_&&, std::string)noexcept, void(tag_t<set_value>, this_&&, std::string)> // signatures_from_t<> will reduce that to signatures<void(tag_t<set_value>, this_&&, std::string)> transform_expected_set_value_signatures_t< Predecessor, transform_signature_argument_pack_t< result_signature::template fn> ::template fn>, // apply all cpos not replaced by transform remove_expected_set_value_signatures_t<Predecessor>, // merge in locally expected queries queries> expected_signatures() const noexcept; }; struct as_string_t { std::string operator()() noexcept {return {};} std::string operator()(int) {return {};} }; using then_t = updatedthensender<asender, as_string_t>; static_assert(filter_signatures_by_ret_t< expected_signatures_t<then_t>, exact_v<void>>::size == 7); // went from 2 set_value to 1 static_assert(expected_query_signatures_t<then_t>::size == 3); static_assert(expected_set_value_signatures_t<then_t>::size == 1); // went from 2 set_value to 1 static_assert(same_as< expected_set_value_signatures_t<then_t>, signatures< void(tag_t<set_value>, this_&&, std::string)> >); static_assert(expected_set_error_signatures_t<then_t>::size == 2); static_assert(same_as< expected_set_error_signatures_t<then_t>, signatures< void(tag_t<set_error>, this_&&, std::exception_ptr) noexcept, void(tag_t<set_error>, this_&&, std::error_code) noexcept> >); static_assert(same_as< new_sender_value_types_t<then_t, std::variant, std::tuple>, std::variant<std::tuple<std::string>>>); static_assert(same_as< new_sender_error_types_t<then_t, std::variant>, std::variant<std::exception_ptr, std::error_code>>); static_assert(new_sender_sends_done_v<then_t>); struct nothrow_sender { signatures_from_t< set_value_noexcept_for<>, queries_for<tag_t<get_scheduler>, tag_t<get_stop_token>> > expected_signatures() const noexcept; // LATER: make expected_signatures into a tag_invoke CPO }; static_assert(same_as< expected_set_value_signatures_t<nothrow_sender>, signatures< void(tag_t<set_value>, this_&&) noexcept> >); static_assert(same_as< expected_set_error_signatures_t<nothrow_sender>, signatures<> >); struct nothrow_fn_t { void operator()() noexcept {} }; using nothrow_then_t = updatedthensender<nothrow_sender, nothrow_fn_t>; static_assert(expected_set_value_signatures_t<nothrow_then_t>::size == 1); static_assert(same_as< expected_set_value_signatures_t<nothrow_then_t>, signatures< void(tag_t<set_value>, this_&&) noexcept> >); static_assert(expected_set_error_signatures_t<nothrow_then_t>::size == 0); static_assert(same_as< expected_set_error_signatures_t<nothrow_then_t>, signatures<> >); int main() {}
Become a Patron
Sponsor on GitHub
Donate via PayPal
Source on GitHub
Mailing list
Installed libraries
Wiki
Report an issue
How it works
Contact the author
CE on Mastodon
About the author
Statistics
Changelog
Version tree