## +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 get_vec(); size_t index = get_index(); } vec.at(index) = 42; ## Runtime Performance Validation ## Detecting performance issues at runtime void must_be_fast() { using namespace std::chrono; end = high_resolution_clock::now(); } validate_performance(start, end); ## Static Performance Validation ## Static detection of performance issues void must_be_fast() { /*...*/ can_slowly_read_huge_file();

## +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

added SmartValidator interface with general support for validation hints * added custom @Validated annotation with support for JSR-303 validation groups * JSR-303 SpringValidatorAdapter and MVC paths * added MethodValidationInterceptor/PostProcessor for Hibernate Validator 4.2 based method validation * fixed QuartzJobBean to work with Quartz 2.0/2.1 as well * @Transactional qualifiers match for 404 status * LocaleEditor and StringToLocaleConverter do not restrict variant part through validation * LinkedCaseInsensitiveMap overrides putAll method as well (for IBM JDK 1.6 compatibility) *

forgery (CSRF) protection SQL injection protection Clickjacking protection SSL/HTTPS Host header validation Session security User-uploaded content Additional security topics Performance and optimization Form fields Model Form Functions Formset Functions The form rendering API Widgets Form and field validation Middleware Available middleware Middleware ordering Migration Operations Schema Operations Special fields | Built-in widgets Advanced: Forms for models | Integrating media | Formsets | Customizing validation The development process Learn about the various components and tools to help you in the development

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

Integration with Jenkins ..... 822 29 Validation ..... 825 Creating Validators ..... 825 Validating Data ..... 834 Validating Entity Data ..... 835 Core Validation Rules ..... 835 30 App Class .. entity classes that have not yet been defined. If we wanted to make a new user and save it (with validation) we would do something like: use Cake\ORM\TableRegistry; // Prior to 3.6 use TableRegistry::get('Users') for some reason it doesn’t save, just render the view. This gives us a chance to show the user validation errors or other warnings. Every CakePHP request includes a request object which is accessible

is it? Use struct tags to specify validators to be applied to a field. ## Why? We often need validation above and beyond type. Specify it declaratively in the struct tags. type Donor struct { Email DonorId: "a8392ac7", } result, _ := validator.ValidateStruct(donor) ## How About Type Validation? interface{} with type bounds? Something like type polymorphism. We can use struct tags to