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#
Go
Haskell
HLSL
Hook
Hylo
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
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 13.1.0
ARM GCC 13.2.0
ARM GCC 13.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 13.1.0
ARM64 gcc 13.2.0
ARM64 gcc 5.4
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 13.1.0
AVR gcc 13.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 gcc 13.1.0
BPF gcc 13.2.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
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)
M68K gcc 13.1.0
M68K gcc 13.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 13.1.0
RISC-V (32-bits) gcc 13.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 13.1.0
RISC-V (64-bits) gcc 13.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 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 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 13.1.0
SPARC LEON gcc 13.2.0
SPARC gcc 12.2.0
SPARC gcc 12.3.0
SPARC gcc 13.1.0
SPARC gcc 13.2.0
SPARC64 gcc 12.2.0
SPARC64 gcc 12.3.0
SPARC64 gcc 13.1.0
SPARC64 gcc 13.2.0
TI C6x gcc 12.2.0
TI C6x gcc 12.3.0
TI C6x gcc 13.1.0
TI C6x gcc 13.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.28 VS16.9
arm64 msvc v19.29 VS16.10
arm64 msvc v19.29 VS16.11
arm64 msvc v19.30
arm64 msvc v19.31
arm64 msvc v19.32
arm64 msvc v19.33
arm64 msvc v19.34
arm64 msvc v19.35
arm64 msvc v19.36
arm64 msvc v19.37
arm64 msvc v19.38
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 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 9.0.0
armv8-a clang 9.0.1
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 13.1.0
loongarch64 gcc 13.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 gcc 11.2.0
mips gcc 12.1.0
mips gcc 12.2.0
mips gcc 12.3.0
mips gcc 13.1.0
mips gcc 13.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 13.1.0
mips64 (el) gcc 13.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 gcc 11.2.0
mips64 gcc 12.1.0
mips64 gcc 12.2.0
mips64 gcc 12.3.0
mips64 gcc 13.1.0
mips64 gcc 13.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
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 gcc 12.1.0
mipsel gcc 12.2.0
mipsel gcc 12.3.0
mipsel gcc 13.1.0
mipsel gcc 13.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 13.1.0
power gcc 13.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 13.1.0
power64 gcc 13.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 13.1.0
power64le gcc 13.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 13.1.0
s390x gcc 13.2.0
sh gcc 12.2.0
sh gcc 12.3.0
sh gcc 13.1.0
sh gcc 13.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
x64 msvc v19.14 (WINE)
x64 msvc v19.15
x64 msvc v19.16
x64 msvc v19.20
x64 msvc v19.21
x64 msvc v19.22
x64 msvc v19.23
x64 msvc v19.24
x64 msvc v19.25
x64 msvc v19.26
x64 msvc v19.27
x64 msvc v19.28
x64 msvc v19.28 VS16.9
x64 msvc v19.29 VS16.10
x64 msvc v19.29 VS16.11
x64 msvc v19.30
x64 msvc v19.31
x64 msvc v19.32
x64 msvc v19.33
x64 msvc v19.34
x64 msvc v19.35
x64 msvc v19.36
x64 msvc v19.37
x64 msvc v19.38
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
x86 msvc v19.14 (WINE)
x86 msvc v19.15
x86 msvc v19.16
x86 msvc v19.20
x86 msvc v19.21
x86 msvc v19.22
x86 msvc v19.23
x86 msvc v19.24
x86 msvc v19.25
x86 msvc v19.26
x86 msvc v19.27
x86 msvc v19.28
x86 msvc v19.28 VS16.9
x86 msvc v19.29 VS16.10
x86 msvc v19.29 VS16.11
x86 msvc v19.30
x86 msvc v19.31
x86 msvc v19.32
x86 msvc v19.33
x86 msvc v19.34
x86 msvc v19.35
x86 msvc v19.36
x86 msvc v19.37
x86 msvc v19.38
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-64 Zapcc 190308
x86-64 clang (amd-stg-open)
x86-64 clang (assertions trunk)
x86-64 clang (clangir)
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 metaprogramming - P2632)
x86-64 clang (experimental pattern matching)
x86-64 clang (old concepts branch)
x86-64 clang (reflection)
x86-64 clang (resugar)
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 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 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 13.1
x86-64 gcc 13.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
zig c++ 0.10.0
zig c++ 0.11.0
zig c++ 0.12.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 <type_traits> namespace zoo { namespace detail { struct NoAffordances {}; template<typename Container, typename Policy, typename = void> struct PolicyAffordances_impl { using type = NoAffordances; }; template<typename Container, typename Policy> struct PolicyAffordances_impl< Container, Policy, std::void_t<typename Policy::template Affordances<Container>> > { using type = typename Policy::template Affordances<Container>; }; template<typename Container, typename Policy> using PolicyAffordances = typename PolicyAffordances_impl<Container, Policy>::type; } template<typename> struct AnyContainerBase; namespace detail { template<typename, typename = void> struct IsAnyContainer_impl: std::false_type {}; template<typename T> struct IsAnyContainer_impl<T, std::void_t<typename T::Policy>>: std::conjunction<std::is_base_of<AnyContainerBase<typename T::Policy>, T>> {}; }} #include <type_traits> namespace zoo { namespace meta { template<typename TypeToModel, typename ValueCategoryAndConstnessReferenceType> struct copy_cr; template<typename Type, typename LValue> struct copy_cr<Type, LValue &> { using type = std::conditional_t<std::is_const_v<LValue>, const Type &, Type &>; }; template<typename Type, typename RValue> struct copy_cr<Type, RValue &&> { using type = std::conditional_t<std::is_const_v<RValue>, const Type &&, Type &&>; }; template<typename Type, typename Reference> using copy_cr_t = typename copy_cr<Type, Reference>::type; template<typename T> using remove_cr_t = std::remove_const_t<std::remove_reference_t<T>>; }} #include <new> #include <type_traits> namespace zoo { constexpr auto VPSize = sizeof(void *), VPAlignment = alignof(void *); namespace impl { template<typename, typename = void> struct Arraish_impl: std::false_type {}; template<typename T> struct Arraish_impl<T, decltype(&std::declval<T>()[0])>: std::true_type {}; template<typename T, typename... Args> struct Constructible: std::is_constructible<T, Args...> {}; template<typename T, std::size_t L, typename Source> struct Constructible<T[L], Source>: Constructible< T, meta::copy_cr_t< meta::remove_cr_t<decltype(std::declval<Source>()[0]) &&>, Source > > {}; template<typename T, typename... Args> constexpr auto Constructible_v = Constructible<T, Args &&...>::value; template<typename T> void destroy(T &t) noexcept { t.~T(); } template<typename T, std::size_t L> void destroy(T (&a)[L]) noexcept { auto base = &a[0], lifo = base + L; while(base != lifo--) { destroy(*lifo); } } template<typename T, typename... Args> void build(T &, Args &&...) noexcept(std::is_nothrow_constructible_v<T, Args...>); template<typename T, std::size_t L, typename ArrayLike> auto build(T (&destination)[L], ArrayLike &&a) noexcept( std::is_nothrow_constructible_v< T, meta::copy_cr_t<meta::remove_cr_t<decltype(a[0])>, ArrayLike &&> && >) { using Source = meta::copy_cr_t<meta::remove_cr_t<decltype(a[0])>, ArrayLike &&> &&; constexpr auto Noexcept = std::is_nothrow_constructible_v<T, Source>; auto base = &destination[0], to = base, top = to + L; auto from = &a[0]; auto transport = [&]() { while(top != to) { build(*to, static_cast<Source>(*from)); ++to; ++from; } }; if constexpr(Noexcept) { transport(); } else { try { transport(); } catch(...) { while(to-- != base) { destroy(*to); } throw; } } } template<typename T, typename... Args> void build(T &to, Args &&... args) noexcept(std::is_nothrow_constructible_v<T, Args...>) { new(&to) T(std::forward<Args>(args)...); } } template<int S = VPSize, int A = VPAlignment> struct AlignedStorage { constexpr static auto Size = S, Alignment = A; alignas(A) char space_[Size]; template<typename T> T *as() noexcept { return reinterpret_cast<T *>(&space_); } template<typename T> const T *as() const noexcept { return const_cast<AlignedStorage *>(this)->as<T>(); } template<typename T> static constexpr auto SuitableType() { return sizeof(T) <= S && 0 == A % alignof(T); } template<typename T, typename... Args> auto build(Args &&...args) noexcept(noexcept(impl::build(*as<T>(), std::forward<Args>(args)...))) -> std::enable_if_t< SuitableType<T>() && impl::Constructible_v<T, Args...>, T * > { impl::build(*as<T>(), std::forward<Args>(args)...); return as<T>(); } template<typename T> auto destroy() noexcept -> std::enable_if_t<SuitableType<T>() && std::is_nothrow_destructible_v<T>> { impl::destroy(*as<T>()); } }; template<typename V> using AlignedStorageFor = AlignedStorage<sizeof(V), alignof(V)>; } #include <typeinfo> #include <functional> namespace zoo { struct Destroy { struct VTableEntry { void (*dp)(void *) noexcept; }; static void noOp(void *) noexcept {} template<typename> constexpr static inline VTableEntry Default = { noOp }; template<typename Container> constexpr static inline VTableEntry Operation = { Container::destructor }; template<typename Container> struct Mixin { void destroy() noexcept { auto downcast = static_cast<Container *>(this); downcast->template vTable<Destroy>()->dp(downcast); } template<typename Manager> bool holds() const noexcept { auto downcast = static_cast<const Container *>(this); return Operation<Manager>.dp == downcast->template vTable<Destroy>()->dp; } }; template<typename AnyC> struct UserAffordance { template<typename T> bool holds() const noexcept { return static_cast<const AnyC *>(this)-> container()-> template holds< typename AnyC::Policy::template Builder<T> >(); } bool isDefault() const noexcept { return noOp == static_cast<const AnyC *>(this)-> container()->template vTable<Destroy>()->dp; } }; }; struct Move { struct VTableEntry { void (*mp)(void *, void *) noexcept; }; template<typename Container> constexpr static inline VTableEntry Default = { Container::moveVTable }; template<typename Container> constexpr static inline VTableEntry Operation = { Container::move }; template<typename Container> struct Mixin { void move(void *to) noexcept { auto downcast = static_cast<Container *>(this); downcast->template vTable<Move>()->mp(to, downcast); } void moveAndDestroy(void *to) noexcept { auto downcast = static_cast<Container *>(this); downcast->template vTable<Move>()->mp(to, downcast); downcast->template vTable<Destroy>()->dp(downcast); } }; template<typename AnyC> struct UserAffordance {}; }; struct Copy { struct VTableEntry { void (*cp)(void *, const void *); }; template<typename Container> constexpr static inline VTableEntry Default = { Container::copyVTable }; template<typename Container> constexpr static inline VTableEntry Operation = { Container::copyOp }; template<typename Container> struct Mixin { void copy(void *to) const { auto downcast = static_cast<const Container *>(this); downcast->template vTable<Copy>()->cp(to, downcast); } }; template<typename TypeSwitch, typename MemoryLayout> struct Raw { static void copy(void *to, const void *from) { auto downcast = static_cast<const MemoryLayout *>(from); auto vtable = downcast->pointer(); auto entry = static_cast<const TypeSwitch *>(vtable); entry->cp(to, downcast); } }; template<typename> struct UserAffordance {}; }; template<typename T> const std::type_info &returnsTypeInfo() noexcept { return typeid(T); } struct RTTI { struct VTableEntry { const std::type_info &(*ti)() noexcept; }; template<typename> constexpr static inline VTableEntry Default = { returnsTypeInfo<void> }; template<typename Container> constexpr static inline VTableEntry Operation = { returnsTypeInfo< typename Container::ManagedType > }; template<typename Container> struct Mixin { const std::type_info &type() const noexcept { auto downcast = static_cast<const Container *>(this); return downcast->template vTable<RTTI>()->ti(); } bool nonEmpty() const noexcept { return typeid(void) != type(); } }; template<typename TypeSwitch, typename MemoryLayout> struct Raw { static const std::type_info &typeId(const void *from) { auto downcast = static_cast<const MemoryLayout *>(from); auto typeSwitch = static_cast<const TypeSwitch *>(downcast->pointer()); auto entry = static_cast<const VTableEntry *>(typeSwitch); return entry->ti(); } }; template<typename AnyC> struct UserAffordance { const std::type_info &type() const noexcept { return static_cast<const AnyC *>(this)->container()->type(); } const std::type_info &type2() const noexcept { auto thy = static_cast<const AnyC *>(this); return AnyC::Policy::ExtraAffordances::typeId(thy->container()); } }; }; template<typename> struct CallableViaVTable; template<typename R, typename... As> struct CallableViaVTable<R(As...)> { static R throwStdBadFunctionCall(As..., void *) { throw std::bad_function_call{}; } template<typename MDC> static R invoke(As... arguments, void *pc) { return (*static_cast<MDC *>(pc)->value())(std::forward<As>(arguments)...); } struct VTableEntry { R (*executor_)(As..., void *); }; template<typename> constexpr static inline VTableEntry Default = { throwStdBadFunctionCall }; template<typename MostDerivedContainer> constexpr static inline VTableEntry Operation = { invoke<MostDerivedContainer> }; template<typename Container> struct Mixin {}; template<typename AnyC> struct UserAffordance { R operator()(As... args) { auto container = static_cast<AnyC *>(this)->container(); auto vTP = container->template vTable<CallableViaVTable>(); return vTP->executor_(std::forward<As>(args)..., container); } }; }; template<typename VirtualTable> struct VTableHolder { const VirtualTable *pointer_; template<typename Affordance> const typename Affordance::VTableEntry *vTable() const noexcept { return pointer_->template upcast<Affordance>(); } VTableHolder(const VirtualTable *p): pointer_(p) {} auto pointer() const noexcept { return pointer_; } void change(const VirtualTable *p) noexcept { pointer_ = p; } }; template<std::size_t S, std::size_t A, typename V> struct BuilderDecider { constexpr static auto NoThrowMovable = std::is_nothrow_move_constructible_v<V>; constexpr static auto AlignmentSuitable = A % alignof(V) == 0; constexpr static auto SmallBufferSuitable = sizeof(V) <= S && AlignmentSuitable && NoThrowMovable; }; template<typename...> struct CompatibilityParameters; template<typename HoldingModel, typename... AffordanceSpecifications> struct GenericPolicy { struct VTable: AffordanceSpecifications::VTableEntry... { template<typename Affordance> const typename Affordance::VTableEntry *upcast() const noexcept { return this; } }; using VTHolder = VTableHolder<VTable>; struct Container: VTHolder, AffordanceSpecifications::template Mixin<Container>... { AlignedStorageFor<HoldingModel> space_; static void moveVTable(void *to, void *from) noexcept { static_cast<Container *>(to)->change( static_cast<Container *>(from)->pointer() ); } static void copyVTable(void *to, const void *from) { static_cast<Container *>(to)->change( static_cast<const Container *>(from)->pointer() ); } constexpr static inline VTable Default = { AffordanceSpecifications::template Default<Container>... }; Container(): VTHolder(&Default) {} using VTHolder::VTHolder; }; template<typename V> struct ByValue: Container { using ManagedType = V; V *value() noexcept { return this->space_.template as<V>(); } const V *value() const noexcept { return const_cast<ByValue *>(this)->value(); } static void destructor(void *p) noexcept { static_cast<ByValue *>(p)->value()->~V(); } static void move(void *to, void *from) noexcept { auto downcast = static_cast<ByValue *>(from); new(to) ByValue(std::move(*downcast->value())); } static void copyOp(void *to, const void *from) { auto downcast = static_cast<const ByValue *>(from); new(to) ByValue(*downcast->value()); } constexpr static inline VTable Operations = { AffordanceSpecifications::template Operation<ByValue>... }; template<typename... Args> ByValue(Args &&...args): ByValue(&Operations, std::forward<Args>(args)...) {} template<typename... Args> ByValue(const VTable *ops, Args &&...args): Container(ops) { this->space_.template build<V>(std::forward<Args>(args)...); } using IsReferenceTrait = std::false_type; constexpr static inline auto IsReference = IsReferenceTrait::value; }; template<typename V> struct ByReference: Container { using ManagedType = V; V *&pValue() noexcept { return *this->space_.template as<V *>(); } V *value() noexcept { return pValue(); } const V *value() const noexcept { return const_cast<ByReference *>(this)->value(); } static void destructor(void *p) noexcept { auto ptr = static_cast<ByReference *>(p)->pValue(); if(ptr) { delete ptr; } } static void move(void *to, void *from) noexcept { auto downcast = static_cast<ByReference *>(from); new(to) ByReference(downcast); downcast->pValue() = nullptr; } static void copyOp(void *to, const void *from) { auto downcast = static_cast<const ByReference *>(from); new(to) ByReference(*downcast->value()); } constexpr static inline VTable Operations = { AffordanceSpecifications::template Operation<ByReference>... }; ByReference(ByReference *source): Container(source->pointer()) { pValue() = source->pValue(); } template<typename... Args> ByReference(const VTable *ops, Args &&...args): Container(ops) { pValue() = new V(std::forward<Args>(args)...); } template<typename... Args> ByReference(Args &&...args): ByReference(&Operations, std::forward<Args>(args)...) {} using IsReferenceTrait = std::true_type; constexpr static inline auto IsReference = IsReferenceTrait::value; }; struct Policy { using MemoryLayout = Container; using DefaultImplementation = Container; template<typename V> using Builder = std::conditional_t< BuilderDecider<sizeof(HoldingModel), alignof(HoldingModel), V>:: SmallBufferSuitable, ByValue<V>, ByReference<V> >; constexpr static auto Size = sizeof(HoldingModel), Alignment = alignof(HoldingModel); using VTable = GenericPolicy::VTable; template<typename AnyC> struct Affordances: AffordanceSpecifications::template UserAffordance<AnyC>... {}; }; }; template<typename HoldingModel, typename... Affordances> using Policy = typename GenericPolicy<HoldingModel, Affordances...>::Policy; template<typename PlainPolicy, typename... AffordanceSpecifications> struct ExtendedAffordancePolicy: PlainPolicy { template<typename AnyC> struct Affordances: AffordanceSpecifications::template UserAffordance<AnyC>... {}; }; } namespace zoo { namespace impl { struct EmptyRawAffordances {}; template<typename, typename = void> struct RawAffordances_impl { using type = EmptyRawAffordances; }; template<typename T> struct RawAffordances_impl<T, std::void_t<typename T::ExtraAffordances>> { using type = typename T::ExtraAffordances; }; } template<typename BaseContainer, typename... Extensions> struct DerivedVTablePolicy { using Base = BaseContainer; using BasePolicy = typename BaseContainer::Policy; using MemoryLayout = typename BasePolicy::MemoryLayout; struct VTable: BasePolicy::VTable, Extensions::VTableEntry... {}; using TypeSwitch = VTable; struct ExtraAffordances: impl::RawAffordances_impl<BasePolicy>::type, Extensions::template Raw<VTable, MemoryLayout>... {}; struct DefaultImplementation: MemoryLayout { constexpr static inline VTable Default = { BasePolicy::DefaultImplementation::Default, Extensions::template Default<DefaultImplementation>... }; DefaultImplementation(): MemoryLayout(&Default) {} }; template<typename V> struct Builder: BasePolicy::template Builder<V> { using Base = typename BasePolicy::template Builder<V>; constexpr static inline VTable Operations = { Base::Operations, Extensions::template Operation<Builder>... }; template<typename... Args> Builder(Args &&...args): Builder(&Operations, std::forward<Args>(args)...) {} template<typename... Args> Builder(const VTable *ops, Args &&...args): Base( static_cast<const typename BasePolicy::VTable *>(ops), std::forward<Args>(args)... ) {} }; template<typename AnyC> struct Affordances: Extensions::template UserAffordance<AnyC>... {}; }; } #include <utility> #include <algorithm> namespace zoo { using std::swap; template<typename T> inline void swap_other_name(T &t1, T &t2) noexcept(noexcept(std::swap(t1, t2))) { swap(t1, t2); } } #include <type_traits> namespace zoo::meta { template<typename T, typename Base> constexpr bool NotBasedOn() { using DecayedT = std::decay_t<T>; return !std::is_same<DecayedT, Base>::value && !std::is_base_of<Base, DecayedT>::value; } } #include <type_traits> #include <utility> namespace zoo::meta { template<typename T> struct InplaceType: std::false_type {}; template<typename T> struct InplaceType<std::in_place_type_t<T>>: std::true_type {}; } namespace zoo::meta { template<bool, bool = true> struct CopyAndMoveAbilities; template<> struct CopyAndMoveAbilities<true, true> { CopyAndMoveAbilities() = default; CopyAndMoveAbilities(const CopyAndMoveAbilities &) = default; CopyAndMoveAbilities(CopyAndMoveAbilities &&) = default; CopyAndMoveAbilities &operator=(const CopyAndMoveAbilities &) = default; CopyAndMoveAbilities &operator=(CopyAndMoveAbilities &&) = default; }; template<> struct CopyAndMoveAbilities<true, false> { CopyAndMoveAbilities() = default; CopyAndMoveAbilities(const CopyAndMoveAbilities &) = default; CopyAndMoveAbilities(CopyAndMoveAbilities &&) = delete; CopyAndMoveAbilities &operator=(const CopyAndMoveAbilities &) = default; }; template<> struct CopyAndMoveAbilities<false, true> { CopyAndMoveAbilities() = default; CopyAndMoveAbilities(const CopyAndMoveAbilities &) = delete; CopyAndMoveAbilities(CopyAndMoveAbilities &&) = default; CopyAndMoveAbilities &operator=(CopyAndMoveAbilities &&) = default; }; template<> struct CopyAndMoveAbilities<false, false> { CopyAndMoveAbilities() = default; CopyAndMoveAbilities(const CopyAndMoveAbilities &) = delete; CopyAndMoveAbilities(CopyAndMoveAbilities &&) = delete; }; } namespace zoo { namespace detail { template<typename P, typename = void> struct PolicyDefaultBuilder { using type = typename P::MemoryLayout; }; template<typename P> struct PolicyDefaultBuilder<P, std::void_t<typename P::DefaultImplementation>> { using type = typename P::DefaultImplementation; }; template<typename, typename = void> struct MemoryLayoutHasCopy: std::false_type {}; template<typename Policy> struct MemoryLayoutHasCopy< Policy, std::void_t<decltype(&Policy::MemoryLayout::copy)> >: std::true_type {}; template<typename, typename = void> struct ExtraAffordanceOfCopying: std::false_type {}; template<typename Policy> struct ExtraAffordanceOfCopying< Policy, std::void_t<decltype(&Policy::ExtraAffordances::copy)> >: std::true_type {}; template<typename Policy> using AffordsCopying = std::disjunction< MemoryLayoutHasCopy<Policy>, ExtraAffordanceOfCopying<Policy> >; } template<typename Policy, typename = void> struct CompositionChain { struct Base { using TokenType = void (Base::*)(); constexpr static TokenType Token = nullptr; Base(TokenType) noexcept {} Base(TokenType, std::nullptr_t) noexcept {} Base(TokenType, Base &&) noexcept {} Base(TokenType, const Base &) {} Base(const Base &) = delete; Base &operator=(Base &&) noexcept { return *this; } Base &operator=(const Base &) { return *this; } template<typename T> void emplaced(T *) noexcept {} void copy_assign(const Base &) {} alignas(alignof(typename Policy::MemoryLayout)) char m_space[sizeof(typename Policy::MemoryLayout)]; }; }; template<typename Policy> struct CompositionChain<Policy, std::void_t<typename Policy::Base>> { using Base = typename Policy::Base; }; template<typename Policy_> struct AnyContainerBase: CompositionChain<Policy_>::Base, detail::PolicyAffordances<AnyContainerBase<Policy_>, Policy_> { using Policy = Policy_; using SuperContainer = typename CompositionChain<Policy>::Base; using Container = typename Policy::MemoryLayout; constexpr static auto Copyable = detail::AffordsCopying<Policy>::value; AnyContainerBase() noexcept: SuperContainer(SuperContainer::Token, nullptr) { new(this->m_space) typename detail::PolicyDefaultBuilder<Policy>::type; } AnyContainerBase(AnyContainerBase &&moveable) noexcept: SuperContainer( SuperContainer::Token, static_cast<SuperContainer &&>(moveable) ) { auto source = moveable.container(); source->move(container()); } template< typename Initializer, typename Decayed = std::decay_t<Initializer>, std::enable_if_t< !detail::IsAnyContainer_impl<Decayed>::value && (!Copyable || std::is_copy_constructible_v<Decayed>) && !meta::InplaceType<Initializer>::value, int > = 0 > AnyContainerBase(Initializer &&initializer): SuperContainer(SuperContainer::Token) { using Implementation = typename Policy::template Builder<Decayed>; new(this->m_space) Implementation(std::forward<Initializer>(initializer)); SuperContainer::emplaced(state<Decayed>()); } template< typename ValueType, typename... Initializers, typename Decayed = std::decay_t<ValueType>, std::enable_if_t< (!Copyable || std::is_copy_constructible<Decayed>::value) && std::is_constructible<Decayed, Initializers...>::value, int > = 0 > AnyContainerBase(std::in_place_type_t<ValueType>, Initializers &&...izers): SuperContainer(SuperContainer::Token) { using Implementation = typename Policy::template Builder<Decayed>; new(this->m_space) Implementation(std::forward<Initializers>(izers)...); SuperContainer::emplaced(state<std::decay_t<ValueType>>()); } template< typename ValueType, typename UL, typename... Args, typename Decayed = std::decay_t<ValueType>, typename = std::enable_if_t< (!Copyable || std::is_copy_constructible<Decayed>::value) && std::is_constructible< Decayed, std::initializer_list<UL> &, Args... >::value > > AnyContainerBase( std::in_place_type_t<ValueType>, std::initializer_list<UL> il, Args &&... args ): SuperContainer(SuperContainer::Token) { using Implementation = typename Policy::template Builder<Decayed>; new(this->m_space) Implementation(il, std::forward<Args>(args)...); SuperContainer::emplaced(state<std::decay_t<ValueType>>()); } ~AnyContainerBase() { container()->destroy(); } AnyContainerBase &operator=(AnyContainerBase &&moveable) noexcept { static_cast<SuperContainer &>(*this) = std::move(static_cast<SuperContainer &>(moveable)); auto myself = container(); myself->destroy(); moveable.container()->move(myself); return *this; } template< typename Argument, std::enable_if_t< !detail::IsAnyContainer_impl<std::decay_t<Argument>>::value, int > = 0 > AnyContainerBase &operator=(Argument &&argument) { emplace_impl<Argument>(std::forward<Argument>(argument)); return *this; } template<typename ValueType, typename... Arguments> std::enable_if_t< std::is_constructible<std::decay_t<ValueType>, Arguments...>::value && std::is_copy_constructible<std::decay_t<ValueType>>::value, ValueType & > emplace(Arguments &&... arguments) { emplace_impl<ValueType>(std::forward<Arguments>(arguments)...); return *state<std::decay_t<ValueType>>(); } template<typename ValueType, typename U, typename... Arguments> std::enable_if_t< std::is_constructible< std::decay_t<ValueType>, std::initializer_list<U> &, Arguments... >::value && std::is_copy_constructible<std::decay_t<ValueType>>::value, ValueType & > emplace(std::initializer_list<U> il, Arguments &&... args) { emplace_impl(il, std::forward<Arguments>(args)...); return *state<std::decay_t<ValueType>>(); } protected: template<typename ValueType, typename... Arguments> void emplace_impl(Arguments &&... arguments) { container()->destroy(); new(this) AnyContainerBase( std::in_place_type<std::decay_t<ValueType>>, std::forward<Arguments>(arguments)... ); SuperContainer::emplaced(state<std::decay_t<ValueType>>()); } template<typename ValueType, typename U, typename... Arguments> void emplace_impl(std::initializer_list<U> &il, Arguments &&... args) { container()->destroy(); new(this) AnyContainerBase( std::in_place_type<std::decay_t<ValueType>>, il, std::forward<Arguments>(args)... ); SuperContainer::emplaced(state<std::decay_t<ValueType>>()); } public: void reset() noexcept { container()->destroy(); new(this) AnyContainerBase; } void swap(AnyContainerBase &other) noexcept { auto oc = other.container(); alignas(alignof(Container)) char tmp[sizeof(Container)]; auto tc = reinterpret_cast<Container *>(tmp); oc->moveAndDestroy(tc); auto myself = container(); myself->moveAndDestroy(oc); tc = reinterpret_cast<Container *>(tmp); tc->moveAndDestroy(myself); } bool has_value() const noexcept { return container()->nonEmpty(); } template<typename ValueType> auto *state() noexcept { using Decayed = std::decay_t<ValueType>; using Implementation = typename Policy::template Builder<Decayed>; return static_cast<Decayed *>( static_cast<Implementation *>(container())-> Implementation::value() ); } template<typename ValueType> const ValueType *state() const noexcept { return const_cast<AnyContainerBase *>(this)->state<ValueType>(); } Container *container() const { return reinterpret_cast<Container *>(const_cast<char *>(this->m_space)); } protected: using TokenType = void (AnyContainerBase::*)(); constexpr static TokenType Token = nullptr; AnyContainerBase(TokenType) noexcept: SuperContainer(SuperContainer::Token) {} AnyContainerBase(TokenType, std::nullptr_t) noexcept: SuperContainer(SuperContainer::Token, nullptr) {} AnyContainerBase(TokenType, AnyContainerBase &&source) noexcept: SuperContainer(SuperContainer::Token, std::move(source)) {} AnyContainerBase(TokenType, const AnyContainerBase &model): SuperContainer(SuperContainer::Token, model) {} template<typename ValueType> void emplaced(ValueType *ptr) noexcept { SuperContainer::template emplaced(ptr); } AnyContainerBase ©_assign(const AnyContainerBase &model) { SuperContainer::copy_assign(model); return *this; } }; template<typename Policy> struct AnyCopyable: AnyContainerBase<Policy> { using Base = AnyContainerBase<Policy>; AnyCopyable(AnyCopyable &&) = default; AnyCopyable(const AnyCopyable &model): Base(Base::Token, model) { auto source = model.container(); if constexpr(detail::MemoryLayoutHasCopy<Policy>::value) { source->copy(this->container()); } else { static_assert(detail::ExtraAffordanceOfCopying<Policy>::value); Policy::ExtraAffordances::copy(this->container(), source); } } AnyCopyable &operator=(AnyCopyable &&) = default; AnyCopyable &operator=(const AnyCopyable &model) { if constexpr(std::is_copy_constructible_v<Base>)this->copy_assign(model); auto myself = this->container(); myself->destroy(); try { auto source = model.container(); if constexpr(detail::MemoryLayoutHasCopy<Policy>::value) { source->copy(this->container()); } else { static_assert(detail::ExtraAffordanceOfCopying<Policy>::value); Policy::ExtraAffordances::copy(this->container(), source); } } catch(...) { new(this->m_space) typename Base::Container; throw; } return *this; } using Base::Base; using Base::operator=; }; template<typename Policy> struct AnyContainer: std::conditional_t< detail::AffordsCopying<Policy>::value, AnyCopyable<Policy>, AnyContainerBase<Policy> > { using Base = typename std::conditional_t< detail::AffordsCopying<Policy>::value, AnyCopyable<Policy>, AnyContainerBase<Policy> >; using Base::Base; using Base::operator=; }; template<typename Policy> inline void swap(AnyContainer<Policy> &a1, AnyContainer<Policy> &a2) { a1.swap(a2); } template<typename T, typename Policy> inline T *anyContainerCast(const AnyContainer<Policy> *ptr) noexcept { return const_cast<T *>(ptr->template state<T>()); } } #include <functional> namespace zoo { namespace impl { template<typename, typename, typename = void> struct MayBeCalled: std::false_type {}; template<typename R, typename... As, typename Target> struct MayBeCalled< R(As...), Target, std::void_t<decltype(std::declval<Target &>()(std::declval<As>()...))> >: std::disjunction<std::is_same<void, R>, std::is_constructible<R, decltype(std::declval<Target &>()(std::declval<As>()...))>> {}; } template<std::size_t LocalBufferInPointers, typename Signature> using CallableViaVTablePolicy = typename GenericPolicy< void *[LocalBufferInPointers], Destroy, Move, CallableViaVTable<Signature> >::Policy; template<std::size_t Pointers, typename Signature> using VTableFunction = AnyContainer<CallableViaVTablePolicy<Pointers, Signature>>; template<std::size_t Pointers, typename Signature> using VTableCopyableFunction = AnyContainer<DerivedVTablePolicy<VTableFunction<Pointers, Signature>, Copy>>; template<typename> struct Executor; struct bad_function_call: std::bad_function_call { using std::bad_function_call::bad_function_call; }; template<typename R, typename... As> struct Executor<R(As...)> { constexpr static R (*DefaultExecutor)(As..., void *) = [](As..., void *) -> R { throw bad_function_call(); }; R (*executor_)(As..., void *); Executor(): executor_(DefaultExecutor) {} Executor(R (*ptr)(As..., void *)): executor_(ptr) {} void swap(Executor &other) noexcept { std::swap(*this, other); } }; template<typename Signature> Executor(Signature *) -> Executor<Signature>; namespace impl { template<typename, typename = void> struct HasMemberFunction_type_impl: std::false_type {}; template<typename T> struct HasMemberFunction_type_impl<T, std::void_t<decltype(std::declval<T &>().type())>>: std::true_type {}; }template<typename T> using HasMemberFunction_type = impl::HasMemberFunction_type_impl<T>; template<typename T> constexpr static auto HasMemberFunction_type_v = HasMemberFunction_type<T>::value; template<typename, typename> struct Function; template<typename ContainerBase, typename R, typename... As> struct Function<ContainerBase, R(As...)>: Executor<R(As...)>, ContainerBase { template<typename Target> static R invokeTarget(As... args, void *p) { return (*static_cast<Function *>(p)->template state<Target>())(std::forward<As>(args)...); } Function() = default; Function(const Function &) = default; Function(Function &&) = default; Function &operator=(Function &&) = default; Function &operator=(const Function &m) = default; protected: using Ex = Executor<R(As...)>; Function(typename ContainerBase::TokenType): Ex(nullptr), ContainerBase(ContainerBase::Token) {} Function(typename ContainerBase::TokenType, std::nullptr_t): ContainerBase(ContainerBase::Token) {} Function(typename ContainerBase::TokenType, Function &&f) noexcept: Ex(f.executor_), ContainerBase(ContainerBase::Token, std::move(f)) {} Function(typename ContainerBase::TokenType, const Function &f): Ex(f.executor_), ContainerBase(ContainerBase::Token, f) {} template<typename T> void emplaced(T *ptr) noexcept { this->executor_ = invokeTarget<T>; } Function ©_assign(const Function &f) { this->executor_ = f.executor_; return *this; } public: Function(std::nullptr_t): Function() {} template< typename Target, typename D = std::decay_t<Target>, int = std::enable_if_t< !std::is_base_of_v<Function, D> && std::is_constructible_v<ContainerBase, Target &&> && impl::MayBeCalled<R(As...), D>::value, int >(0) > Function(Target &&a): Executor<R(As...)>(invokeTarget<std::decay_t<Target>>), ContainerBase(std::forward<Target>(a)) {} template<typename A> auto operator=(A &&a) noexcept(std::is_nothrow_constructible_v<Function, A &&>) -> std::enable_if_t< std::is_constructible_v<Function, A &&>, Function & > { using Target = std::decay_t<A>; if constexpr(std::is_base_of_v<Function, Target>) { this->executor_ = a.executor_; } else { this->executor_ = invokeTarget<Target>; } static_cast<ContainerBase &>(*this) = std::forward<A>(a); return *this; } Function &operator=(std::nullptr_t) noexcept { *this = Function(); return *this; } template<typename... CallArguments> R operator()(CallArguments &&...cas) const { auto deconsted = const_cast<Function *>(this); return this->executor_(std::forward<CallArguments>(cas)..., deconsted); } template<typename... CallArguments> R const_call(CallArguments &&...cas) const { return const_cast<Function &>(*this)(std::forward<CallArguments>(cas)...); } void swap(Function &other) noexcept { auto &base = static_cast<ContainerBase &>(*this); base.swap(other); auto &executor = static_cast<Executor<R(As...)> &>(*this); executor.swap(other); } operator bool() const noexcept { if constexpr(HasMemberFunction_type<ContainerBase>::value) { return !(typeid(void) == this->type()); } else { return !(this->isDefault()); } } bool operator==(std::nullptr_t) const noexcept { return !bool(*this); } bool operator!=(std::nullptr_t) const noexcept { return bool(*this); } }; template<typename C, typename Signature> void swap(Function<C, Signature> &f1, Function<C, Signature> &f2) { f1.swap(f2); } template<typename ContainerBase> struct FunctionProjector { template<typename Signature> using projection = Function<ContainerBase, Signature>; }; } using Signature = void( void *, // <-- notice this eccentricity int, int, int, int ); using NormalPolicy = zoo::Policy< void *[3], zoo::Destroy, zoo::Move >; using TypeErasureProvider = zoo::AnyContainer<NormalPolicy>; using OrderConsumer = zoo::Function<TypeErasureProvider, Signature>; void invokeConsumer( void *data, int instrumentId, int ticks, int side, int quantity, OrderConsumer &oc ) { oc(data, instrumentId, ticks, side, quantity); } using CopyableOC = zoo::AnyContainer< zoo::DerivedVTablePolicy< OrderConsumer, zoo::Copy >>; void invokeCopyableConsumer( void *data, int instrumentId, int ticks, int side, int quantity, CopyableOC &coc ) { coc(data, instrumentId, ticks, side, quantity); }
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