In MSVC, there is SAL feature, which can be used to describe the parameter, result and so on, and it works well, and portable is also good, C++2a Contract feature seems to do the same thing, can somebody give some diffs between them?
1
There are 1 best solutions below
Related Questions in C++
- C++ using std::vector across boundaries
- Linked list without struct
- Connecting Signal QML to C++ (Qt5)
- how to get the reference of struct soap inherited in C++ Proxy/Service class
- Why we can't assign value to pointer
- Conversion of objects in c++
- shared_ptr: "is not a type" error
- C++ template using pointer and non pointer arguments in a QVector
- C++ SFML 2.2 vectors
- Lifetime of temporary objects
- I want to be able to use 4 different variables in a select statement in c ++
- segmentation fault: 11, extracting data in vector
- How to catch delay-import dll errors (missing dll or symbol) in MinGW(-w64)?
- How can I print all the values in this linked list inside a hash table?
- Configured TTL for A record(s) backing CNAME records
Related Questions in C++20
- Conditionally trivial destructor
- Can a namespace (be a/satisfy a) Concept?
- Boost Hana Concepts implementation
- C++ concepts loop
- Moving in range-based loop in generic C++ code?
- Can I execute on get my `std::future` and wait on it too?
- C++20 coroutines, std return type and state persistancy
- Will C++20 modules change the anatomy of static and shared libraries?
- How to return unique_ptr of an array created inside my function?
- Does clang++ 12 support C++20 std::construct_at?
- Visiting std::variant with lambdas in C++20
- How to write a C++ concept restricting the template to std::map and std::unordered_map
- C++20 #import ""-statement: Will it be possible to use multiple preprocessed header files
- Exporting Concept From Module
- != auto generated from == in C++20?
Related Questions in SAL
- sal annotation (prefast) to enforce number of variadic args
- Expand _In_ to const
- Understanding __deref_out
- Can I remove NULL and bounds checks if I use SAL?
- SAL annotations and pointer parameters
- How to annotate functions to aid code analysis
- How do I enforce SAL annotations on a typedef'd function?
- WinMain taken from docs can't be compiled
- SAL annotation for output parameter that receives number of elements written to buffer
- When to use _Notnull_ in C++?
- Enforce function isolation at compile time
- How does the _Pre_defensive_ annotation work?
- Visual studio "Dereferencing NULL pointer" warning
- How do I annotate a C or C++ function using SAL to specify that it returns true/false if a parameter is non-NULL/NULL
- Configure Doxygen to ignore the Source-Code Annotation Language (SAL)
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
There is no real overlap between SAL and contracts. SAL is about annotating parameters and return values for describing some aspects of how the function uses them. Contracts about about describing what the function requires of its parameters and what the caller can expect of the return value. These sound similar, but they are very different.
For example, SAL has notions of whether a parameter is an input, output, or in/out parameter. That is a matter of what the function does with the parameters. Contracts have no such notion because they don't care what the function does with the parameter.
Now there is some overlap. Sometimes, what a function expects and what a function does align. For example, if a function expects a pointer parameter to not be
nullptr, you would apply an[[pre: param != nullptr]]contract to that function. However, the SAL notion of_In_pointer parameter annotations covers the same general idea: if the function uses the parameter as a valid pointer to an object, then naturally it cannot benullptr. So_In_protects from that.SAL is ultimately about describing how the function uses the data; contracts are about the function's interface with the calling code.
Also, SAL is extremely limited in what you can express. It has a few complex statements like "is a null-terminated string", but it has no foundation on which you can build your own. Contracts are C++ expressions, and they therefore can verify anything that a C++ expression can verify.