## +24 ## Compile-Time Validation ## ALON WOLF ## 20 24 September 15 - 20 ## Software Validation "Confirmation, through the provision of objective evidence, that the requirements for a specific makes it harder, but when you do it blows your whole leg off. — Bjarne Stroustrup — AZ QUOTES ## Compile-time Validation ## Player ## Mech Suit or Swim? ## Choose between safety and flexibility KEYNOTE: report_error(error); } } ## Runtime Error Reporting Runtime error reporting can be used with compile-time error detection void foo() { constexpr auto error = detect_error(); if constexpr (error)

## +23 ## Expressive Compile-time Parsers ## ALON WOLF ## 20 23 October 01 - 06 ## About me ## • Started learning C++ in high school with a passion for making video games ## Microsoft Visual C++ 2010  ## Dive Into Compile-Time Parsers Libraries Use Cases Implementation Techniques Reflection ![Image](/uploads/docu overloading • Domain specific languages • Open source compile-time libraries • API • Design • Implementation details • Using compile-time parsers • Reflection • Examples: functions, types, trees

October 01 - 06 ## +23 ## Robotics at Compile Time: Optimizing Robotics Algorithms With C++'s Compile-Time Features ## STEPHEN BRAWNER ## About me • Robotics Software Consultant based in Portland, OR allocations, locks, and I/O in the STL • Perhaps a constmem or noallocate code decorators ## Compile-time Optimizations in Robotics Software ## Compile Time Optimizations in Robotics Software #include • With explicit classes and runtime dispatch • https://godbolt.org/z/9YMP3aqs5 • With better compile-time dispatch • https://godbolt.org/z/fKd9h4ofd ## Handling Joint Limits template

0 码力 | 45 页 | 20.73 MB | 1 年前

3

## +21 ## Compile-Time Compression and Resource Generation with C++20 ## ASHLEY ROLL 20 21 October 24-29 ## I ntroduction Explore how C++20's constexper features can: • Generate data from code code at compile-time • Be used to construct: ☐ Lookup Tables Configuration Fuses ☐ Compressed Strings USB Descriptors ## Along the way • Introduce some libraries I created for this code • Discuss found building compile-time libraries ## constexpr in Brief • Specifies a variable or function CAN appear in a constant expression • Constant expressions can be evaluated at compile-time • eg: ■ Array

## +21 ## Testing Compile-time Constructs Within a Runtime Unit Testing Framework ## I GOR BOGOSLAVSKYI 20 21 October 24-29 ## We use C++ (14) for safety-critical applications that we deliver to our /p2_1.jpg) Errors have a high cost, so rigorous testing is a must We use increasingly more compile-time polymorphism and checks Question: how to test if something is compilable in a rigorous way? Imagine

opportunity to work on brand new navigation stack. I’m also founding member of the OpenTelemetry Go compile-time instrumentation project https://github.com/open-telemetry/community/blob/main/projects/go-co

- Labeled for - inline for - if - defer - unreachable - Basics - At Compile-Time - noreturn - Functions - Pass-by-value Parameters - Function Reflection - Implicit Cast: Options - Implicit Cast: Error Unions - Implicit Cast: Compile-Time Known Numerical Bias - Implicit Cast: unions and enums - Implicit Cast: Zero Bit Pointers to Zero Bit Types ## • comptime Introducing the Compile-Time Concept ☑ Compile-Time Parameters ☑ Compile-Time Variables ☑ Compile-Time Expressions • Generic Data Structures • Case Study:

MODIFICATIONS ** COMPILE-TIME ## EXISTING SOLUTIONS - C++ CLING • RUNTIME COMPILED C++ / EASY-JIT • [[CLANG::JIT]] - P1609R1 • D MIXIN** • OTHERS ## * WITH CUSTOM MODIFICATIONS ** COMPILE-TIME ## CLING (MEMOIZATION) * MAXIMAL OPTIMIZATIONS NOT EVEN POSSIBLE AT BUILD TIME ## D MIXIN - COMPILE-TIME JIT ## D MIXIN - COMPILE-TIME JIT template GenStruct(string Name, string M1) { const char[] GenStruct = = "struct" ~ Name ~ "int" ~ M1 ~ ""; } ## D MIXIN - COMPILE-TIME JIT template GenStruct(string Name, string M1) { const char[] GenStruct = "struct" ~ Name ~ "int"

- Labeled for - inline for - if - defer - unreachable - Basics - At Compile-Time - noreturn - Functions - Pass-by-value Parameters - Function Reflection - Errors Arrays and Pointers ■ Implicit Cast: Options ■ Implicit Cast: Error Unions ■ Implicit Cast: Compile-Time Known Numbers ■ Implicit Cast: unions and enums ■ Implicit Cast: Zero Bit Types ■ Implicit Semantics • usingnamespace • comptime Introducing the Compile-Time Concept ☑ Compile-Time Parameters ☑ Compile-Time Variables ☑ Compile-Time Expressions • Generic Data Structures Case Study:

supports a variant of gradual types in the form of flexible types. Even more so, in some cases the compile-time type of a value may change depending on the control- and data-flow of the program; a feature usually and use-site variance as follows. - It is a compile-time error to use a covariant type argument in a contravariant type parameter - It is a compile-time error to use a contravariant type argument in representation of LUB for particular two types. The detection and handling of such situations (compile-time error or leaving the type in some kind of denormalized state) is implementation-defined. In some