Things To Look Out For In Reviews: Difference between revisions

From Qt Wiki
Jump to navigation Jump to search
m (→‎Value Classes: fix a typo)
(→‎QSpan: mention span-of-span/qbav and as_writable_bytes tricks)
Tag: Replaced
Line 1: Line 1:
[[Category:Developing_Qt::Guidelines]]
[[Category:Developing Qt::Process]]
[[Category:Tools::Gerrit]]
This page is a low-entry-bar staging area for potential project-wide guidelines. After each release, we should go over each of these and decide whether we keep them here, or, preferably, fold them into [[Review Policy]], [[API Design Principles]], [[Commit Policy]], [[Qt Coding Style]], [[Coding Conventions]] or a new or existing QUIP.
If jargon or abbreviations here are all Greek to you, consult the [[Glossary]] and, if necessary, request an entry in it.
= How To Edit This Document =
Seeing as we have tons of deep links into this document from Gerrit already, in the form "https://wiki.qt.io/Things_To_Look_Out_For_In_Reviews#Includes Item 2.1.1", please don't change section titles or the numbering of existing items¹. If you move something, leave a link in the old spot², if you remove something, change it to strike-through, saying why it was removed and linking to the what replaces it, if any³, if adding, only append to lists, so existing item numbers remain valid.
# the section numbering shown in the Table of Content is not significant; we deep link to individual sections, so it's the section ''titles'' that mustn't change, as they double as hyperlink targets.
# See e.g. https://wiki.qt.io/Things_To_Look_Out_For_In_Reviews#Polymorphic_Classes Items 3 and 1.5.3
# See e.g. https://wiki.qt.io/Things_To_Look_Out_For_In_Reviews#Status
= Canons =
Be aware of the following generally-accepted principles:
# [https://community.kde.org/Policies/Binary_Compatibility_Issues_With_C%2B%2B KDE Binary Compatibilty Page] (a must-read, must-understand for anyone doing API reviews)
# [https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines CppCoreGuidelines] (a lot of stuff of doubtful quality in there these days, but if you get an F.3 comment, that's where to find what that means)
# [[API Design Principles]]
# [[Commit Policy]]
# [[Qt Coding Style]]
# [[Coding Conventions]]
# Some books for C++ development:
## [https://en.wikipedia.org/wiki/Design_Patterns GoF: Design Patterns] (Java and Smalltalk, too, but equally applicable to C++)
## [https://martinfowler.com/books/refactoring.html Fowler: Refactoring] (Java, but equally applicable to C++)
## [https://www.oreilly.com/library/view/c-coding-standards/0321113586/ Sutter/Alexandrecu: C++ Standards] (condensing all the Meyers Effective X and Sutter Exceptional X books, aged well, better curated than CppCoreGuidelines)
## [https://www.amazon.com/Large-Scale-Software-Design-John-Lakos/dp/0201633620 Lakos: Large-Scale C++ Software Design] There's a 2nd edition which is multi-part now.
# The Qt [[Glossary]]
= Newly-Added Things =
When adding a new Thing, don't forget to provide a ''rationale''. Also see [[Things_To_Look_Out_For_In_Reviews#How_To_Edit_This_Document]].
== Gerrit ==
# Make sure reviewers are in the attention set. Note that Gerrit resets the attention set when you edit anything in the Reply Dialog. '''Rationale:''' Some reviewers only work on attention:self. They won't see your review request if they're not in the attention set.
# Use topic branches. '''Rationale:''' they group changes together across projects and branches, and allow reviewers to review the topic in one session instead of whatever Gerrit believed should be on top of the attention:self display. The relation chain breaks apart on merges and cherry-picks and doesn't work across modules and branches, so it is not a replacement. 
# Push "Done" comments only after you push the new version. '''Rationale:''' Avoids pinging the reviewer w/o a new version to look at.
# Use the following markers in review comments:
## (repeats) - there are more instances of this elsewhere (maybe earlier in the patch). It's the commit author's responsibility to find them all, and fix them. There are variations of this: (repeats up/down), <nowiki>[[maybe_repeats]]</nowiki>, ...
## (pre-existing) - found something that wasn't introduced by the patch. If it's cut-n-paste, suggests that a prequel commit fixing the issue and then rebasing the current patch on top is in order. If not copy-and-paste, suggests to fix in a follow-up commit (or file a Jira ticket to fix). It's the commit author's responsibility to follow-up, by default. But this can be negotiated between commenter and committer. These comments might be created as resolved, in which case they're considered non-blocking for the change.
## (nit-pick) - don't use. If you use, explain what you mean by it.
#: '''Rationale:''' more efficient use of reviewer time
# Use the following hashtags:
## ff - This patch is subject to Feature-Freeze (usually only used when FF deadline nears, to steer reviewers to focus on urgent tasks)
## trivial - This patch is trivial. This means only C++ and basic Qt knowledge is required to review it, no domain-specific knowledge. Already split into:
### trivial-c++ (C++)
### trivial-qml (QML)
### trivial-qt (Qt widgets, Core)
### trivial-sh (Shell Programming)
### trivial-py (Python)
### trivial-js (JavaScript)
### trivial-java (Java)
### (you get the drift) Use <tt>prefixhashtag:trivial</tt> to see them all.
# As the reviewer, fix commit message typos and other small things directly in Gerrit if that allows you to +2 the change afterwards. '''Rationale:''' Saves reviewer's and submitter's work by cutting out one iteration.
## As the patch author, be mindful when pushing over already-approved changes (incl. rebasing the chain): An approver may have made edits to your change to approve it.
# Prefer smaller commits to larger ones. '''Rationale:''' Yes, many smaller commits probably take more time to review than one larger one, but the review will be more thorough. As the reviewer, you have more points at where you can stop, as the author, you have more commit messages to provide rationale. And if something goes wrong, reverting a small change is easier than a large one.
## Corollary: As a reviewer, feel free to ask to ''split'' a patch if you feel it's too large. But don't ask to ''squash'' commits unless they really make no sense (or don't even compile) standalone. '''Rationale:''' The author of a patch has to ''sell'' the change to the reviewers, so if a reviewer thinks a patch could be split, the author should try to do that. OTOH, if the author already has spent the time to chop a change down into smaller patches, then asking her to undo that is not very respectful of her work.
# If you give a +1 instead of -1 or +2, consider leaving a comment explaining why it's not +2. '''Rationale:''' A +1 without comment is a bit like a -1 without comment: leaves the patch author guessing what's wrong with the patch. Be nice, give an explanation.
=== Specifically API Review ===
# Use one commit to fix one thing. '''Rationale:''' easier to review, and revert, if needed, also easier to backport to older branches if needed/possible. Faster progress as uncontroversial changes can go in while controversial ones are still being discussed.
# Link the Gerrit change from the comment in the API-Review. '''Rationale:''' Better overview, avoids clashes where two people do the same fix.
# Mark a comment as "Merged", resolving it, when and only when the linked commit's cherry-pick has landed in dev-1.
== Commit Message ==
# Demand rationale in the commit message. A link to Jira is nice, but no substitute. '''Rationale:''' [[Commit Policy]] Pt. 8.
## Does the commit message answer the questions "Why was the old code wrong/worse?" and "Why is the new code correct/better?"?
# Reject drive-by changes that are really unrelated. A drive-by change is changing something in lines the primary change would touch anyway. An unrelated change changes lines that the primary line would not need to modify. Use common sense: The removal of the trailing } is ok as a drive-by change of adjusting the coding style from if (a) { b; } to if (a) b; but the removal of an include that wasn't obsoleted by the primary change is not. '''Rationale:''' [[Commit Policy]] Pt. 8.
## Ask for drive-by changes to be spelled out explicitly in the commit message. '''Rationale:''' Confirms that reviewer and author are on the same page. '''Example:''' https://codereview.qt-project.org/c/qt/qt3d/+/553115
# If there's an "Amends <sha1>", check it provides the full sha1 (Gerrit will then highlight it as link) and check the target of the link. If it's not there, but you suppose it should, ask for it. Check that Amends and Pick-to are consistent.
# Check whether a ChangeLog entry should be supplied. If supplied, check it uses the correct tense (often past tense, sometimes present tense + "now"). '''Rationale:''' [[Commit Policy#Change_Log]].
# Avoid passive voice, use imperative mood. '''Rationale:''' Consistency with how the vast majority of commit messages are written in Qt.
# Use correct capitalization, avoid all-lower-case commit messages. '''Rationale:''' Easier to read for reviewers.
# Keep Change-Id footer last, Pick-to: and Task-number: and Fixes: go before, in no particular relative order.  '''Rationale:''' Consistency.
## '''Exception:''' Cherry-picks have Reviewed-by and (cherry-picked from) lines below the original Change-Id. That's just how git cherry-pick -x and the cherry-pick bot roll.
# Specifically cherry-picks:
## If you change the commit to make it work in an older branch (other than line-conflict resolution, ie. fixing the <tt><<<<</tt>/<tt>====</tt>/<tt>>>>>></tt>), add what you did to the commit message of the cherry-pick. '''Rationale:''' Alerts reviewers to changes that may be subtle or hidden in a larger change and are not immediately obvious when comparing the cherry-pick with the commit it was picked from. '''Mechanics:''' Add "Merge conflict resolution for N.M:\n- first item\n- second item..." near the end of the commit message (N.M is the product's branch you're picking to). '''Example:''' https://codereview.qt-project.org/c/qt/tqtc-qtbase/+/579327/5//COMMIT_MSG#20
== API ==
# Name static factory member functions create() and non-static factory functions createFoo().
#* '''Rationale:''' For static member functions, the required class name will give sufficient context (QThread::create()). For non-static member functions, the variable name may be something completely different (api.createRequest()).
#* '''References:''' https://codereview.qt-project.org/c/qt/qtbase/+/529602/comments/f93def88_ced8e9ca
# Don't default arguments unless they're of Trivial Type. Use out-of-line overloading instead.
#* '''Rationale:''' Avoids expensive construction of these objects at each call site. Even if the overloaded function calls the other with a default-constructed argument (which it shouldn't, it can pass a pointer e.g. that can be nulled to indicate absence to an -Impl function), it's a win, because the code is then once in the library and not copied at each call site.
#* '''References:''' [https://bugreports.qt.io/browse/QTBUG-98117 QTBUG-98117], https://codereview.qt-project.org/c/qt/qtbase/+/380545
# Try to search the other Qt classes API that provide similar functionality, so that we provide easily exchangeable components.
#* '''Example:''' QAbstractSlider and QSpinBox have similar interfaces: minimum(), maximum(), value(), valueChanged() signal, etc... Thus, QSlider may be easily exchanged with QSpinBox and vice versa.
# Try to search the other Qt classes API for the name consistency.
#* '''Good example:''' timeout, never timeOut.
#* '''Bad example:''' timestamp vs timeStamp - Qt API isn't consistent in this case.
# Avoid defining symbols in a Qt library that do not reference at least one type from said library.
#* '''Rationale:''' Users or other library writers may get the same idea and implement the same function slightly differently, causing UB (ODR violation). The usual suspects for this are Q_DECLARE_METATYPE_EXTERN, Q_DECLARE_TYPEINFO, qHash, relational operators, sin/cos and other math functions, ... These things should all be defined by the library that defines the types involved. If those functions are lacking, and you need them, write a wrapper type or use functions that are named differently.
#* '''Example:''' QSharedPointer<char> shouldn't've been exported from QtNetwork (via Q_DECLARE_METATYPE), QtNetwork should have defined its own QNetworkSharedCharBuffer instead. [https://bugreports.qt.io/browse/QTBUG-121738 QTBUG-121738], ...
=== Naming Gotchas ===
This is a growing list of naming errors non-native speakers may make and what to use instead:
'''Keep sections ordered alphabetically'''
==== Get ====
In Qt, unlike Java, the get- prefix on functions is ''not'' used for mere getters (cf. https://wiki.qt.io/API_Design_Principles#Naming_Boolean_Getters,_Setters,_and_Properties). If a function is called getX, it implies user interaction (QColorDialog::getColor()). It is also traditionally used for decomposing a complex type into constituents (QColor::getHsv()), with out-parameters. This use should be considered deprecated as we don't want to use out parameters anymore (return a struct instead).
==== Iteratable (disputed) ====
The term ''Iteratable'' does not exist.
* '''Correct Term:''' ''Iterable''.
* '''References:''' https://doc.qt.io/qt-6/qsequentialiterable.html, but see https://codereview.qt-project.org/c/qt/qtbase/+/527219/comment/1de2c8ab_d07aff8f/ and references therein for more opinions.
==== Mutable (as opposed to <tt>const</tt>) ====
While <tt>mutable</tt> is a C++ keyword, it is not the opposite of <tt>const</tt>. It means "modifiable even in a const object".
* '''Correct Term:''' ''Mutating'', ''modifiable''. ''non-const'', ''variable'' (as opposed to ''constant'').
==== Status ====
Withdrawn: https://www.oxfordlearnersdictionaries.com/definition/english/status?q=status Meaning 5
<del>''Status'' is the standing of a person or profession in society. It is ''not'' the condition a system is in. '''Correct Term:''' ''State''. '''References:''' https://www.oxfordlearnersdictionaries.com/definition/english/state_1?q=state Meaning 4 vs. https://www.oxfordlearnersdictionaries.com/definition/english/status?q=status Meaning 2</del>
== Public Headers ==
# Don't move code around when changing public headers. Prefer adding new keywords, attributes, deprecations or removals on a separate line. Don't reorder function just to save on the number of `#if QT_DEPRECATED_SINCE` blocks needed. '''Rationale:''' moving code around makes API-change-reviews needlessly hard. Example: Bad: https://codereview.qt-project.org/c/qt/qtmultimedia/+/528314/1/src/multimedia/video/qvideoframe.h Good: https://codereview.qt-project.org/c/qt/qtbase/+/528393/2/src/corelib/kernel/qpointer.h#34
# Are new (w.r.t. an earlier released version) overrides of virtual functions designed for skipping? '''Rationale:''' Existing users of the class (esp. subclasses) may not call the new reimplementations. The implementation must be able to handle that and not mess with the class state. If overrides work in pairs (showEvent()/hideEvent()), one may be called while the other is not. This also needs to be handled correctly. '''References:''' https://community.kde.org/Policies/Binary_Compatibility_Issues_With_C%2B%2B, https://codereview.qt-project.org/c/qt/qtsvg/+/529227
# Always protect min/max calls from Windows min/max macros. No code comment needed. '''Mechanics''': add extra parentheses <tt>(std::min)(a,b)</tt>, <tt>(std::numeric_limits<T>::min)()</tt>. Ditto max(). '''Rationale:''' Even though our own TUs try to avoid the issue by including qt_windows.h instead of Windows.h (or whatever the header is), public headers can be included in user projects that don't do this, so play along and don't defend against the macros in a way that alters the meaning of user code (#ifdef #error or hard-#undef min/max), but use the idiomatic evasive work-around. No code comment needed, as it's idiomatic.
## '''Exception:''' if you need to define a min() or max() function, this trick doesn't work, and #erroring out if min/max are defined is a good compromise.
## Apply this pattern also in .cpp files and private headers. '''Rationale:''' Unity builds. Also: if you don't do it consistently, how do you know you do it when it matters?
== Includes ==
# Include Qt headers always as <QtModule/qheader.h>. '''Rationale:''' it's probably the fastest way to include the file while maintaining compatibility with non-per-module-include build systems.
# Group includes in descending specificity / ascending generality: first, module headers, then dependenee Qt modules, then QtCore headers, then C++ headers, then C headers, then platform / 3rd-party headers. Separate groups with blank lines. In each group, sort alphabetically. '''Rationale:''' Like in CMakeLists's SOURCES, or removed_api.cpp, or tests, ordering code minimizes conflicts between independent changes.
## [https://lists.qt-project.org/pipermail/development/2022-November/043197.html qNN headers] are sorted by their ''eventual'' name (so not in QtCore group, but in C++ group, and ignoring the qNN prefix). '''Rationale:''' when we automatically replace these headers with their std version, the order will then be correct automatically.
### Do not include qNNfoo.h and &lt;foo&gt; in the same file. All qNNfoo.h headers include their upstream equivalent (ie. q(NN-3)foo.h or &lt;foo&gt;). '''Rationale:''' Prevents duplicate header includes upon automatic renaming (see parent item).
# Include everything the file needs in-size (Lakos), don't rely on transitive includes. '''Rationale:''' Avoids breaking the build if unrelated headers drop unneeded includes.
## In headers, prefer forward-declaring instead of including. '''Rationale:''' Faster compiles, can break circular dependencies.
### Use qcontainerfwd.h or qstringfwd.h to forward-declare containers (incl. strings) or just string types. '''Rationale:''' Avoids depending on implementation detail like template default values or which of the q_no_char8_t/q_has_char8_t namespaces is inline.
# Don't include <tt>qglobal.h</tt> anymore. Include the fine-grained headers instead. '''Rationale:''' At some point, we want to reap the potential compile-time benefits of not having to include the big <tt>qglobal.h</tt> anymore, but for that, we need to slowly port away from the monolithic header, not add more users.
# The following headers are guaranteed to be included by qcompilerdetection.h (included by any other Qt header except qNN ones):
#* <tt><utility></tt> (since Qt 5)
#* <tt><version></tt> (since Qt 6.4), cf. [[#C++_Feature_Checks]]
== Variables ==
# Within exported classes, define static constexpr class variables not only in the .h, but also in the .cpp file. '''Rationale:''' This is required with MinGW and happens with both GCC and Clang: when a static constexpr variable found in an exported class is used in a context that requires getting its address, the compiler emits a DLL-importing statement. '''References:''' https://lists.qt-project.org/pipermail/development/2024-January/044888.html, [https://bugreports.qt.io/browse/QTBUG-121135 QTBUG-121135], and commits linked from there.
# Make all static or thread_local variables be
## constexpr, if possible, otherwise
## Q_CONSTINIT const, if possible, otherwise,
## Q_CONSTINIT, if possible, otherwise
## add a comment that it's known to cause runtime initialization
#:Don't reorder the keywords. Q_CONSTINIT may be an attribute, so must come first. Try to make one of the constexpr/constinit work if it's easy. Consider Q_GLOBAL_STATIC/Q_APPLICATION_STATIC, too. '''Rationale:''' Statically initialized variables have less problems with Static Initialization Order Fiasco (but, except constexpr, may still be subject to Static Destruction Order Fiasco), and improve startup performance of any application linking against the library containing the variable.
# Braced initializers of variables have the opening { on the same line as the variable definition. '''Rationale:''' Consistency; distinguish variable from class definitions.
## Prefer writing var = { instead of var{. '''Rationale:''' Copy-initialization is safer than direct-initialization. '''References:''' https://marcmutz.wordpress.com/2010/08/16/a-case-against-direct-initialisation/, https://marcmutz.wordpress.com/2010/08/24/a-case-against-direct-initialisation-%e2%80%94-the-sequel/
### Consequently, initializer_list ctors should be Q_IMPLICIT. '''Rationale:''' This is a direct consequence of the parent item.
# Never use dynamically-sized containers for statically-sized data. '''Rationale:''' If you know the size of the container at compile-time, then using a container whose size is determined at runtime (QList, QMap, QVector, QVarLengthArray, std::vector, ...) is overkill. A plain C array or std::array is the better alternative, as they usually operate without memory allocations and can often be marked as constexpr.
## For maps, arrays of struct { key, value } in conjunction with std::lower_bound can be used. qt20::is_sorted can often be used to verify at compile-time that the array is sorted. '''Alternative:''' Two arrays, one for the keys and one for the values. This can safe executable text size by avoiding padding when key and value are of different size.
== Methods ==
# When the method is inline:
## Prefer to define it directly in the class body (and skip the `inline` keyword). '''Rationale:''' Less keyword bloat, easier to understand the code, cannot make the mistake in the following item.
## If defining it directly in the class body doesn't work, e.g. due to circular dependencies, then add the `inline ` keyword on the ''declaration'' and ''never'' on the ''definition''. '''Rationale:''' Prevents certain MinGW errors, cf. e.g. [https://bugreports.qt.io/browse/QTBUG-56459 QTBUG-56459].
### If the inline function is defined in a header other than the one in which it was declared, add a comment <tt>// defined in other.h</tt>. '''Rationale:''' Consistency, and a nicety to reviewers.
# When a getter returns by const-ref:
## Make it an lvalue-this overload (<tt>const Foo &foo() const & { return m_foo; }</tt>) and also provide an rvalue-this overload that returns by value (<tt>Foo foo() && { return std::move(m_foo); }</tt>). '''Rationale:''' This is faster/less code than having to copy from the reference in the caller, and also safer, because the overload set no longer hands out references when called on temporaries.
== Macros ==
# Macros that are to be used in function scope should always use <tt>do {} while(false)</tt> wrapping, so those naturally then require a user-supplied semicolon. See e.g. QVERIFY. '''Rationale:''' Prevents errors as discussed in e.g. https://stackoverflow.com/a/154264.
## In other cases, macros expand to something that cannot accept <tt>;</tt> at the end; e.g. Q_DECLARE_SHARED.
== Properties ==
# For new classes that have Q_PROPERTY declarations, the Q_PROPERTY should be marked FINAL unless they are intended to be overridden. '''Rationale:''' FINAL properties result in a significant performance boost for QML. See this [https://lists.qt-project.org/pipermail/development/2024-February/044977.html thread] on the devel ML.
# Existing classes that are exposed to QML, do not add new Q_PROPERTY declarations marked as FINAL, and do not mark existing properties as FINAL. '''Rationale:''' Source compatibily breakage, as existing QML code might instantiate the element type and declare such a property.
== Timeouts ==
# Don't use ints or qint64 for timeouts anymore. '''Rationale:''' Poor type safety and less expressive. Qt has adopted chrono-first: https://lists.qt-project.org/pipermail/development/2023-January/043563.html
## Use QDeadlineTimer if Forever is applicable
### Note that QDeadlineTimers cannot be stored. They continue running down the timeout. If you need to store timeouts, store them as chrono types
## Otherwise, use std::chrono::{milli,nano}second
== New Classes ==
=== Documentation ===
# Is the documentation for the class complete and in good shape (grammar, style, correctness)?
# Is the class documented as new with <syntaxhighlight inline>\since</syntaxhighlight>?
# Does the class provide a good overview section?
# Is it properly linked from related API and overview documentation? In particular, check whether similar or related classes have any <syntaxhighlight inline>\ingroup</syntaxhighlight> commands and whether it makes sense the class should also have it!
# Should the class be mentioned in the [https://doc-snapshots.qt.io/qt6-dev/whatsnewqt6.html What's New in Qt 6] overview documentation?
=== Value Classes ===
# Make sure new (value) classes follow the [https://codereview.qt-project.org/c/meta/quips/+/321050 draft value-class mechanics QUIP-22].
## Never use QSharedPointer for d-pointers. '''Rationale:''' It's twice the size of Q(Explicitly)SharedDataPointer, so BC means we couldn't change to those even if we wanted.
## Don't use QSharedDataPointer for the d-pointer anymore. Use QExplicitlySharedDataPointer for the d-pointer, with the macros to allow move-special-member-functions to be =default'ed. '''Rationale:''' We used to be able to switch between raw pointer, QSDP and QESDP without affecting BC, but the macros now bake the choice of QSDP or QESDP into the ABI, so we need to get things right from the get-go. '''References:''' [https://codereview.qt-project.org/c/qt/qtbase/+/269877/17/src/corelib/tools/qintrusivesharedpointer.cpp#108 Comparison of (proposed) QIntrusiveSharedPointer to QSDP and QESDP, highlighing the latter two gotchas (const propagation, eager detaching...)]
## Don't forget Q_DECLARE_SHARED. '''Rationale:''' it provides Q_DECLARE_TYPEINFO and ADL swap() to the class.
### Also ensures the class has a (noexcept) member-swap. When adding member-swap(), use the usual documentation snippet, don't be inventive: https://doc.qt.io/qt-6/qstring.html#swap '''Rationale:''' We will eventually add qdoc macros for this, and then porting will be easier if not every class author has come up with her own formulation.
#### In member-swap, swap elements in declaration order. '''Rationale:''' Easier to review that all fields are actually swapped, and slightly more efficient to perform memory operations in memory order. '''References:''' https://www.kdab.com/four-habit-forming-tips-faster-c/, Item 4
#### In member-swap, use a member's member-swap (<tt>x.swap(other.x)</tt>) if available, otherwise <tt>qt_ptr_swap(x, other.x)</tt>, if <tt>is_pointer<decltype(x)></tt>, otherwise <tt>std::swap(x, other.x)</tt>. Do not use <tt>qSwap()</tt> unless you don't know the type you're swapping (e.g. its a template argument). '''Rationale:''' Compile-time speed. '''References:''' https://lists.qt-project.org/pipermail/development/2023-September/044498.html
## Don't add Q_DECLARE_METATYPE. '''Rationale:''' it's automatic now.
## Make move special-member functions inline and noexcept. '''Rationale:''' For inline: we want the compiler to see that it's just swapping things around. This does not violate encapsulation. For noexcept: [https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#c66-make-move-operations-noexcept C.66]
### Use the usual documentation snippet, don't be inventive: https://doc.qt.io/qt-6/qhostinfo.html#QHostInfo-2 '''Rationale:''' see swap() above.
## Never export a non-polymorphic class wholesale. Only export public and protected out-of-line members. '''Rationale:''' Due to the way MSVC treats inline functions and variables in exported classes, these entities are not really inline, but become part of the ABI. So most of the things mentioned in the [https://community.kde.org/Policies/Binary_Compatibility_Issues_With_C%2B%2B BC guidelines] about what you can do to inline functions doesn't actually apply. We've had an enormous amount of issues with exported non-polymorphic classes, so the convenience of a single export macro isn't really worth the drawback:
##* https://lists.qt-project.org/pipermail/development/2024-January/044888.html (static constexpr variables in exported classes; alternative solution: don't export the class)
##* https://codereview.qt-project.org/c/qt/qtbase/+/430840/comments/56a6377b_9116ca8e?tab=comments (constexpr in exported classes)
##* https://lists.qt-project.org/pipermail/development/2022-February/042216.html (impossibility to fix C++20 FTBFS in released exported class)
##* qvector_msvc.cpp in Qt 5 (QT_STRICT_ITERATORS vs. non-QT_STRICT_ITERATORS builds because QPolygon : QVector<QPoint> was exported and exported all the QVector template member functions, too, incl. those that were considered inline and therefore not part of the Qt ABI).
##* When we added C++11 features in Qt 4.7 and Qt 5, we thought that making them inline-only would be enough. But in exported classes, they actually became part of the ABI, making C++98 and C++11 builds of Qt binary incompatible with each other. In Qt 6, we now have QT_POST_CXX17_API_IN_EXPORTED_CLASS to prevent the same issue for post-C++17 API. Here, too: the simplest approach is to _not wholly-export_ the class in the first place, leaving these ugly workarounds for those classes that really cannot be unexported (polymorphic ones). '''Example:''' https://codereview.qt-project.org/c/qt/qtbase/+/563386 (need for ugly QT_POST_CXX17_API_IN_EXPORTED_CLASS macro (and potential to forget it))
##* tbc...
# For Q_GADGET classes, see [[#Polymorphic Classes]] under "for QObject subclasses".
=== Polymorphic Classes ===
# Make dtor out-of-line, even if empty (then =default it). '''Rationale:''' pins the vtable to a single TU (and prevents -Wweak-vtable warnings). References: https://bugreports.qt.io/browse/QTBUG-45582
## For subclasses, mark the dtor 'override'. '''Rationale:''' Some compilers may warn about inconsistent overrides. Also serves as a static assertion that the base class is actually fit for inheriting from (= has a virtual dtor).
# Disable copy and move ctor/assignment operator (Q_DISABLE_COPY_MOVE). '''Rationale:''' [https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#c67-a-polymorphic-class-should-suppress-public-copymove C.67]
# (moved to [[Things To Look Out For In Reviews#Specifically_QObject_subclasses]] Item 3)
# Verify that overridden virtual functions have a) the same default arguments (if any) and b) the same access specifier as the base class' method. Add a comment if the deviation is intentional. '''Rationale:''' The whole point of using virtual methods is so that calls to such methods have the same semantics, independent on whether they're called on a base or derived class pointer. If the access level differs, calls that were invalid will become valid (or vice versa). If default arguments change, calls change meaning.
## Try to avoid virtual functions with default arguments (see parent item for why). Use NVI (public non-virtual function calls private/protected virtual function) in such cases.
# Virtual functions
## Should be marked by exactly one of 'virtual', 'override' or 'final'. '''Rationale:''': final implies override, override implies virtual.
### If the whole class is 'final', use 'override' on individual methods, not 'final'. '''Rationale:''' If the class itself is final, then all its virtuals are implicitly final, too. Saying 'final' on every override will just be repetitive. OTOH, we shouldn't lose the protection given by 'override' against unintended non-overrides, so still use 'override'.
## Should be public if users should be able to call them, otherwise private, if reimplementations are ''not'' supposed to call base class implementation, otherwise protected (ie. if reimplementations are supposed to call the base class implementations). '''Rationale:''' Common C++ pattern.
## (moved to 4(b) above)
==== Specifically QObject subclasses ====
# Always put the Q_OBJECT macro in. '''Rationale:''' Old literature's suggestion to only put it in when there are signals, slots or Q_PROPERTYs is outdated: The Q_OBJECT macro is also needed for qobject_cast'ing, as well as to provide the correct className() at runtime. For public classes, it's a must because we cannot add the virtual overrides behind Q_OBJECT after the class is released (they may not be called by existing compiled code). In the rare case there's a reason to omit the Q_OBJECT macro, put in a code comment explaining why.
# Always override QObject::event() even if it's just return Base::event(). '''Rationale:''' Provides a life-line if we have to add an event handler. We cannot, in general, add new overrides (e.g. mouseMoveEvent()) to a released class, as the new overrides may not be called by existing compiled code. By having at least event() already overridden, we are free to place new code there.
# Include all moc files (moc_base.cpp and, if any, base.moc) in the main .cpp file ("includemocs"). '''Rationale:''' Better codegen and additional warnings like -Wunused-private-field when the compiler sees the implementations of all member functions in a single TU. '''References:''' There's a script that can be used to convert whole modules in one go: https://codereview.qt-project.org/c/qt/qtbase/+/409553/7//COMMIT_MSG#16
# Idiomatic order of elements in QObject subclasses is:
#* { (opening brace of class definition)
#* ␣␣␣␣Q_OBJECT (own line, just after opening { of class definition, so implicitly private, indent: 4sp)
#* ␣␣␣␣Q_PROPERTY()'s, if any (with or without a blank line after Q_OBJECT)
#* ␣␣␣␣Q_CLASSINFO()'s, if any
#* public:
#* ␣␣␣␣enums/flags, if any, each with their Q_ENUM/Q_DECLARE_FLAGS/Q_FLAG
#* ␣␣␣␣ctors and other SMFs
#* ␣␣␣␣getters and other non-slots, if any
#* public Q_SLOTS:, if any
#* Q_SIGNALS:, if any
#* event handlers, if any
#* protected interface, if any
#* private stuff
#: '''Rationale:''' Consistency.
# Always re-use QObject::d_ptr, or add a code comment why you can't. '''Mechanics and Rationale:''' https://wiki.qt.io/D-Pointer#Inheriting_d-pointers_for_optimization
## '''Exception:''' If your class is not released together with the rest of Qt, can be built against an older Qt version and has to be BC w.r.t. younger Qt versions, then you can't use this optimization. Note that you can't use *any* private Qt API in your code in that case. '''Example:''' QtWebEngine.
=== RAII Classes ===
# Observe [https://contribute.qt-project.org/quips/19 QUIP-19] (nodiscard policy). TL;DR: make RAII class ctors <nowiki>[[nodiscard]]</nowiki>
# Disable copying (Q_DISABLE_COPY). '''Rationale:''' There's no general notion for what it means to copy a RAII object, so even if you can come up with one for your particular use-case, it will probably not be a natural one and so will require users to read the docs to find out what's going on. In that case, it's better to ''not'' provide the functionality, or, if you do, not in the form of copy ctors that are implicitly invoked by the compiler, but as a separate explicit function call.
## Make RAII classes movable or add a code comment saying why they shouldn't be (e.g. if the resulting semantics wouldn't be "natural", ie. require a user to read the documentation). '''Rationale:''' Immutability can be indicated by having a const RAII object, so we don't lose expressiveness. OTOH, we can more easily pass such objects into and out of functions, or store them in collections.
### Use move-and-swap in the move-assignment operator (if any). '''Rationale:''' Since RAII classes handle resources other than memory, we must make sure that the LHS reource gets freed, even on a mere <tt>x = std::move(y);</tt>.
== Tests ==
# (For <kbd>QSKIP</kbd> see [[#Suppressing tests|below]].)
# When comparing two QStringLists using QCOMPARE, prefer the QCOMPARE_EQ macro. '''Rationale:''' QCOMPARE_EQ prints both string lists if they don't match
=== Suppressing tests ===
See also [https://doc.qt.io/qt-6/qttest-best-practices-qdoc.html#select-appropriate-mechanisms-to-exclude-tests the documentation] on selecting appropriate mechanisms to exclude tests.
# Prefer to <kbd>QSKIP</kbd> test functions that are not pertinent to the configuration at hand (as opposed to <kbd>#if</kbd>'ing their declaration and definition out; just <kbd>#if / #else</kbd> with the test body in one and <kbd>QSKIP</kbd> in the other clause). '''Rationale:''' <kbd>QSKIP</kbd>s leave a trace in the logs, so we can more easily see why tests were not run, or verify that they are attempted to be run, at least. Also, gathering CI statistics (like [https://testresults.qt.io/grafana/d/3dhio4K7k/fastcheck-ci-test-info FastCheck]) is easier if the test classes have the same test functions on every platform.
# Where a test is pertinent but known to sometimes crash, it is better to check against some precondition of the crash, e.g. <kbd>QVERIFY(ptr)</kbd> before dereferencing <kbd>ptr</kbd>, so as to trigger a normal failure, than to skip the test.  Skipping such a test should be used as a last resort when no precondition of its failure can be found.  If resorting to <kbd>QSKIP</kbd> for such a crash, its message SHOULD contain the ID of a bug-report that will not be closed until the crash is fixed and the <kbd>QSKIP</kbd> is removed.  '''Rationale''': a crash prevents the test-system from reporting properly, or running any later tests in its suite.  It is better to make it show up as a failure (which may be guarded with the mechanisms below) than to hide the problem by skipping it.  If skipping, it should still be seen as a bug to which we need to return and for which we need to find a fix.
# Where a test is pertinent but (in some clearly-identifiable context) consistently fails, use <kbd>QEXPECT_FAIL</kbd> in preference to other mechanisms.  The message for this SHOULD contain the ID of a bug-report that will not be closed until the <kbd>QEXPECT_FAIL</kbd> is removed.  Of course, the <kbd>QEXPECT_FAIL</kbd> can be conditioned in all the usual ways to limit it to the context where it fails (but see next item). '''Rationale:''' This makes clear that there is a known bug here, says where to look for more details and makes it easier for someone working on that bug-report to find the test-cases they can use to reproduce it.  It also makes the issue visible in the bug-tracker so that a contributor looking for something to fix might find it, and relevant teams working on Qt can filter it into their backlogs.
# Do not condition <kbd>QEXPECT_FAIL</kbd> on the same condition as the check it's guarding; if you cannot determine the precondition of failure in terms of the platform, version, libraries in use or other kindred ''contextual'' factors, you've got a flaky test that should instead be blacklisted (see below). '''Rationale:''' <kbd>QEXPECT_FAIL</kbd> marks a known bug and tells someone investigating the bug how to investigate it.  If you don't know the context that triggers the bug, you can't tell them what they need to know.
# When a test is unreliable (in some context) &ndash; that is, it sometimes passes and sometimes fails, with no clearly-understood rhyme or reason to when it does which &ndash; it is a flaky test and should be [[Blacklisting autotests|blacklisted]].  This is done by adding an entry to a <kbd>BLACKLIST</kbd> file, see the introductory comment in <kbd>qtbase/src/testlib/qtestblacklist.cpp</kbd> for details; it causes the test outcome to be reported without failure of the test causing the test-run to fail.  Each line describing a context in which a specific test's result is to be so ignored SHOULD be marked with a <kbd># QTBUG-nnnn</kbd> comment identifying a bug-report that will not be closed until this blacklisting is removed.  Do this even if it means repeating the same comment on many lines.  '''Rationale:''' blacklisting makes clear that we don't know how to reproduce the issue reliably.  Having a bug-report still open makes the issue visible in the bug-tracker so that a contributor looking for something to fix might find it, and relevant teams working on Qt can filter it into their backlogs.  Marking each context line makes clear that the comment applies specifically to that context.  (Leaving a comment before a block, in contrast, is apt to be ambiguous as it is unclear where the end of that comment's relevance is.  Even if it applies to the whole file when it's added, later additions to the file may then appear to be covered by it.)  Having the test still run, with its results reported, makes it possible to review test logs and see whether the test does in fact still sometimes pass and sometimes fail.
== C++-Feature-Specific Guidelines ==
=== Special Member Functions ===
# Preferred order (skip those which aren't pertinent) '''Rationale:''' Consistency, logical sequence (start of lifetime, copying/moving, end of lifetime).
## Default Constructor
## (non-SMF constructors)
## Copy Constructor
## Copy-Assignment Operator (or Move Constructor)
## Move Constructor (or Copy-Assignment Operator)
## Move-Assignment Operator
### The move-assignment operator should be generated from one of the <tt>QT_MOVE_ASSIGNMENT_OPERATOR_IMPL_VIA_</tt>{<tt>MOVE_AND_SWAP</tt>|<tt>PURE_SWAP</tt>} macros. Use <tt>PURE_SWAP</tt> only if the objects hold only memory, no other resources (locks, handles, ...). RAII classes should never use <tt>PURE_SWAP</tt>. If in doubt, use <tt>MOVE_AND_SWAP</tt>. '''Rationale:''' The difference between <tt>PURE_SWAP</tt> and <tt>MOVE_AND_SWAP</tt> lies purely in how long the old state of the moved-to object lives on (both are nothrow, so no difference there). In <tt>PURE_SWAP</tt>, it lives as long as the rvalue lives on (which may be an xvalue, so an lvalue, so potentially for a long time, because the lvalue's lifetime doesn't need to end at the end of the full-expression). In <tt>MOVE_AND_SWAP</tt>, it's reliably gone after the <tt>op=</tt> call. This is what users expect when you assign to a mutex locker, e.g.. For mere memory, preserving the <tt>capacity()</tt> of the moved-to object in the moved-from object may make filling the latter faster, and <tt>PURE_SWAP</tt> is also less code (one move ctor and one dtor less, to be precise), so <tt>PURE_SWAP</tt> is preferred there. Since we can't turn an (inline) <tt>PURE_SWAP</tt> into a <tt>MOVE_AND_SWAP</tt>, if in doubt, <tt>MOVE_AND_SWAP</tt> should be preferred. It can always be relaxed to <tt>PURE_SWAP</tt> afterwards.
## Destructor
### For polymorphic classes, see also [[#Polymorphic Classes]] Item 1.
## Member Swap (following a blank line)
## non-SMF assignment operators: not standardized; could be together with their respective non-SMF constructors, or with the copy or move-assignment operators (maybe grouped by taking lvalues (copy assignment) and rvalues (move assignment))
# The names of SMF and member-swap arguments are ''always'' "other". '''Rationale:''' Consistency.
# Copy SMFs of implicitly-shared classes should usually not be noexcept. '''Rationale:''' A <tt>noexcept</tt> does not state the status quo. Since removing it is BiC, it can never be removed once added, so it's a promise for the future. We currently knowingly implement Copy-on-Write ''incorrectly'' by ignoring the unsharable state required when handing out references to internal data. It is not inconceivable that the current push towards safety brings proper implicit sharing back at some point, and then a copy SMF needs to be able to deep-copy, so can't be noexcept. Current absence of functions that hand out references to internal state is not a get-out-of-jail-free card for a noexcept ctor, because such functions could be added in the future, rendering the noexcept a lie. '''References:''' http://www.gotw.ca/gotw/044.htm (yes, this looks so 90s, but it's Herb Sutter's page, and just goes to show how long this issue has been known).
## '''Exception:''' When a deep-copy would be noexcept, if that's possible, the copy SMFs can be noexcept.
==== Constructors ====
# Every constructor should be either `Q_IMPLICIT` or `explicit`. '''Rationale:''' Documents that `explicit` wasn't merely forgotten about, but consciously chosen. '''Exception:''' Default ctors don't need `Q_IMPLICIT`, as they should ''always'' be implicit (see next item).
# Make default constructors implicit. Yes, that means the previously-idiomatic `explicit QLineEdit(QWidget *parent = nullptr)` is considered wrong now. '''Rationale:''' Users expect `{}` to mean the default-constructor. When that is explicit, they need to provide the type: `QLineEdit{}`. You may think that it's better to be explicit, and there's merit to that, but in the end it isn't your decision to make. It's the user's decision, so step out of the way and make default ctors implicit. '''Mechanics:''' Instead of default arguments, use overloading and ctor delegation: `QLineEdit() : QLineEdit(nullptr) {} explicit QLineEdit(QWidget *parent);`
# Never implement copy/move construction using copy/move assignment. '''Rationale:''' The assignment operators are normal member functions. They assume *this has all of its class invariants established, and they need to dispose of the old state of *this before assigning the new state from other. A constructor takes raw bits and works to ''establish'' said class invariants in the first place. It neither can assume that the invariants are already established, nor does it have existing state to dispose of. So even cases where a ctor from  X first delegates to the default-ctor and then goes on to call the assignment operator from X are fishy: Chances are that the code would be more efficient if the ctor was driving the assignment operator rather than vice versa.
## The opposite is not true: In general, it's a ''good'' idea to use the copy/move ctor in the implementation of the copy/move assignment operator. Keyword: copy-and-swap/move-and-swap idioms.
=== Enums ===
# add a trailing comma to end of enumerators if a line break follows. '''Rationale:''' prevents the previous line from needing to change when adding more. Example: https://codereview.qt-project.org/c/qt/qtremoteobjects/+/528328/comment/9b8677ff_4ce9831a/
# enums should either be scoped or have an explicit underlying type. '''Rationale:''' prevents the enum's underlying_type to change (which would be BiC). References: http://eel.is/c++draft/enum#dcl.enum-7.sentence-3, https://community.kde.org/Policies/Binary_Compatibility_Issues_With_C%2B%2B#The_Do's_and_Don'ts (Point 3)
# New enumerators should be documented as new for version VERSION with <syntaxhighlight inline>\value [since VERSION]</syntaxhighlight> See also qdoc's [https://doc.qt.io/qt-6/10-qdoc-commands-tablesandlists.html#value-command \value command]
# Be clear about what the purpose of the enum is:
## An enumeration? Then don't = any values. '''Rationale:''' Initializing all the enumerators makes a reader of the code wonder why that's done: Are some missing?
### '''Exception:''' If some enumerators are <tt>#ifdef</tt>ed out, then use initializers to maintain the numeric values of following enumerators across configs and platforms.
## A base for QFlags? Then = 0x each value (yes, hex).
## A strong typedef? Are relevant arithmetic operators defined?
## Anything else? Consider using a class instead. '''Rationale:''' gives you more control over the the API.
# Try to make sure {} (value-initialization, ie. value 0) means "default". '''Rationale:''' Since C++11, {} means "default" (default constructor, e.g.). Also, having 0 be the default saves some space as a) a global variable with initial value 0 doesn't need to be stored in the executable (it ends up in BSS, not DATA) and b) it's easier to construct in a register than a non-zero value (xor r,r), saving executable code size when such types are defaulted arguments.
# If the enum is scoped, the class is new and the class or one of its subclasses is exposed to QML, add Q_CLASSINFO("RegisterEnumClassesUnscoped", "false"). '''Rationale:''' Scoped enums rely on the scope being available to give the enumerators a clear meaning. Without the classinfo entry, the scope is however not enforced on the QML side. Additionally, if two scoped enums would expose an enumerator with the same name, there would be a runtime error in QML without the classinfo entry.
## Adding RegisterEnumClassesUscoped to an ''existing'' class is a [https://contribute.qt-project.org/quips/6 QUIP-6] [https://contribute.qt-project.org/quips/6#classification-of-source-incompatible-changes SiC Type A], so as per [https://contribute.qt-project.org/quips/17 QUIP-17] must be accompanied by a <nowiki>[ChangeLog][Potentially Source-Incompatible Changes]</nowiki> tag. '''Example:''' https://codereview.qt-project.org/c/qt/qtbase/+/544170
# When <tt>switch</tt>ing over an enum type, prefer to omit a <tt>default:</tt> case label; list remaining enumerators explicitly. '''Rationale:''' <tt>switch</tt> is a brittle construct: if a new enumerator is added, you can never be certain that you caught all switches over them. This is why <tt>-Wswitch</tt> is so important: it warns when an enumerator isn't handled by a switch, and <tt>-Werror</tt> turns that into a hard compile error. ''But'' a <tt>default:</tt> case label prevents the warning (there's also <tt>-Wswitch-enum</tt>, but that would not be practical for enums with very many values, and would prompt users to revert to inferior solutions like it-else-if chains). To be <tt>-Wswitch</tt>-clean, code must list all enumerators and ''not'' use a <tt>default:</tt> case label. '''Exception:''' While you should keep listing all enumerators for as long as possible, this becomes impractical for large enums and just few handled cases. As a rule of thumb, if <tt>default</tt> would replace half of the explicit case labels, feel free to use it. And yes, this is asking you to write down up to 100% "useless" case labels, just to enable the warning. It's ''that'' important.
## '''Corollary:''' Avoid checking enum values with if-then-else chains.
=== Exceptions ===
==== noexcept ====
# Only functions that cannot fail to meet their post-conditions can be <tt>noexcept</tt>. Failure to meet post-conditions can stem from a variety of reasons, including a) having preconditions that are not met, b) calling a [https://stackoverflow.com/questions/433989/what-are-the-posix-cancellation-points Posix Cancellation Point] or another <tt>noexcept(false)</tt> function (which may prematurely end the function), or c) allocating memory or other resources (file handles, mutexes). '''Rationale:''' This is the Lakos Rule (latest version: https://wg21.link/p2861). We should track what the standard does and not invent rules of our own. Specifically for preconditions, there are vague plans to make them testable from QtTest by making <tt>Q_ASSERT()</tt> throw an exception instead of calling <tt>abort()</tt> on failure; any <tt>noexcept</tt> function in-between will cause this to not work. Specifically for (b), some Posix systems implement thread cancellation by throwing an exception-like object to unwind the stack (e.g. glibc-based ones). Such exceptions must not be swallowed by user code (incl. Qt code) lest thread cancellations ends in <tt>std::terminate()</tt>.
## '''Exception:''' Like the std smart pointers, our smart pointers <tt>operator*()</tt> may also be <tt>noexcept</tt>, but then they ''must not'' contain a <tt>Q_ASSERT()</tt>. '''Rationale:''' When in Rome^WC++, do as the Romans do^W^Wstd does.
## Distinguish <tt>Q_ASSERT()</tt>s that check for precondition violations (= user is responsible) and those that check internal state/invariants in our code (= we are responsible). The former requires the function containing them to be <tt>noexcept(false)</tt>, the latter doesn't. '''Rationale:''' The Lakos Rule is about contract violations, not about internal consistency checks. If internal consistency is found to be in disarray, recovery is likely impossible. If a call contract is violated, OTOH, that may be very much recoverable, because it's detected before "something bad" may happen. We'll hopefully get separate macros for the two, but for now, be aware of the two different use cases of assertions.
=== Move Semantics ===
# Distinguish between ''rvalue references'' (A &amp;&amp;, where A is not a deduced type (e.g. could be a class template argument and you're in one of its member functions)) and ''universal references'' (auto &amp;&amp;, or T &amp;&amp;, where T is a deduced type). Rvalue references are lvalues (sic!), so they should be std::move()'d somewhere in the function. Universal references should, however, be std::forward&lt;T&gt;()'d (or, for auto &amp;&amp;x, std::forward&lt;decltype(x)&gt;(x)'ed &ndash; I kid you not!) somewhere in the function. Demand an explanation if either of these isn't true.
=== Namespaces ===
# Namespaces are called QtFoo, not QFoo. '''Rationale:''' prior art: QtConcurrent, Qt, QtPrivate, ...
=== Operators ===
# Prefer to add operators as hidden friends of the least-general class that appears in the argument list. '''Rationale:''' [https://bugreports.qt.io/browse/QTBUG-87973 QTBUG-87973] (wasn't fully implemented for Qt 6.0, alas) '''Examples:'''
## if the operator is heterogeneous, you have to pick which type is the less general, and define the operator there '''Example:''' QStringView is more general than QString (has less dependencies), so QString/QStringView mixed operators should be defined in QString, not QStringView
### esp. relational operators: See [https://codereview.qt-project.org/c/meta/quips/+/490932 comparison QUIP]
## qHash(): as hidden friend of the key class; if not a Qt class: as a constrained free function template in qhashfunctions.h (or, in very rare cases, the header that defines the class) to avoid implicit conversions
## arithmetic operators: op@= as member functions, op@ as hidden friends
## streaming operators (QDebug/QDataStream/QTextStream): hidden friends in the streamed class; if not a Qt class: as a constrained member function template of the stream class, to avoid implicit conversions
# Never break the fundamental relation between equality and qHash/std::hash: ∀''x'',''y'' ∈ Domain(op==(T,T)) : ''x'' == ''y'' ⇒ hash(''x'') == hash(''y''). '''Rationale:''' The hash value of equal elements ''must'' be equal, otherwise hash tables don't work.
## '''Corollary:''' Do not use fuzzy FP comparisons in regular relational operators, overload qFuzzyCompare/qFuzzyIsNull instead. '''Rationale:''' An (equality) operator that uses fuzzy comparisons to determine equality will break the fundamental property of equality: that it is transitive (∀''x'',''y'',''z'' ∈ Domain(op==(T,T)) : ''x'' == ''y'' ∧ ''y'' == ''z'' ⇒ ''x'' == ''z''). To see why, take any ''y''. Let ''x'' be the maximal value different from ''y'' such that ''x'' == ''y'' and let ''z'' be the minimal value different from ''y'' such that ''z'' == ''y''. Now ''x'' == ''y'' and ''y'' == ''z'', but ''x'' != ''y'', breaking transitivity.
### '''Corollary:''' If equality isn't transitive, then the only consistent hash function (one that fulfills the fundamental relation from the grandparent item) is one that returns a constant value for all inputs (constant at least over each connected subdomain of op==, in case there's more than one).
=== Lambdas ===
# Always give lambdas a name. '''Rationale:''' The primary benefit of the STL is that it gives names to algorithms. As the reader of such code, I can choose to trust the name of an algorithm, and continue analyzing, or I suspect that the algorithm (name) is wrong and dig into its implementation. The point is: the name gives me a choice. If you write a raw loop, you don't give users that choice. You force them to understand the whole thing. The same is true for lambdas. I can pass a raw lambda to an algorithm, and thus force the reader of the code to understand the lambda, or I can give the lambda a name and give the reader a choice to trust the implementation of the lambda matches its name and continue, or to distrust it and dig into the lambda implementation. '''Exceptions:''' IILE (Immediately Invoked Lambda Expression), lambdas as private slots, ...
## Try not to just use the English prose of the lambda's C++ implementation as a name, but try to find a domain-specific name. '''Rationale:''' Naming is hard. But readers are rewarded by your efforts.
## Stateful lambdas are not name-able. Don't try. It will be awkward. Use lambda-returning-lambdas to separate the lambda name from the state. '''Rationale:''' Always hide the complexity in the definition of the lambda and make the use of it as pleasant as possible. fieldEquals(foo) also makes the lambda reusable: fieldEquals(foo), fieldEquals(bar). Without lambda-returning-lambda, you'd end up with fieldEqualsFoo and fieldEqualsBar. And QtCreator's CTRL-SHIFT-R won't change _those_ names. '''Example:''' https://codereview.qt-project.org/c/qt/qtbase/+/529905/comment/7f31e85d_0492ca24/
# Omit '''()''' (the Lambda parameter list) when empty, unless required by a following -> ReturnType, mutable or noexcept. '''Rationale:''' The guideline to supply an empty parameter list comes from the time when MSVC required them, circa 2012. We're long past that now, so remove the visual clutter. Upstream C++ is dropping the need for empty parameters in more cases in later revisions of the standard, so this will become more prevalent, not less.
=== Templates ===
# Know the difference between "mandates" and "constraints". '''Rationale:''' There are two ways in C++ to handle compile-time diagnosable errors in templates: SFINAE and static_assert (or it's little brother, page-long incidental template errors). Use SFINAE (constraints) when the template is or might in the future be overloaded. Mandates (static_assert check) is ok when the template is not and likely never will be overloaded. '''Example:''' QList mandates that it's value_type is_nothrow_destructible. Ok, QList is never going to be specialized or "overloaded" for types that throw in the dtor. '''Example:''' QObject::connect() mandates (among other things) that signal and slot arguments match. Since connect() is overloaded, it should have constrained instead. The fact that it hasn't makes the many wrappers that we have in Qt (addAction(), GRPC's subscribe(), to name but two) very awkward to write: instead of writing one variadic template that constrains itself on void_t<decltype(QObject::connect(std::declval<Args>()...))>, it has to provide (and manage) several overloads itself. As a consequence, many APIs are still stuck in old-style connect syntax (e.g. QDesktopServices).
==== Constraints Howto ====
# Prefer <tt>std::disjunction_v<x,y></tt> over <tt>x_v || y_v</tt>. Ditto conjunction/&& and negation/!. ''' Rationale:''' The named constructs implement short-circuit evaluation at the template level. Regular || also does that, but the templates appearing in the unevaluated branch are nevertheless instantiated (the compiler "reaches into them", for the nested <tt>::value</tt>). The named constructs avoid that carefully. This is useful for correctness reasons (akin to <tt>p && p->data</tt> in C/C++), but even if you don't need the correctness aspect, it's still ''faster'' than raw binary operators, because template instantiation costs a lot.
# Never chain is_same in a disjunction. Take a helper variable template defaulting to false and specialize it to true for all the types you want to match. '''Rationale:''' O(1) template instantiations for specializing helper vs. O(n) template instantiations for is_same chains.
## '''Exception:''' two is_same in a row are probably still ok (but where there are two, a third may appear on short notice ;-)).
## '''Exception:''' if you really need to prevent users from specializing the helper, is_same chains may be some help, but users can, in general, specialize anything they want (except some std templates, where it's UB), so it's really hard to defend against a determined user.
==== Function Templates ====
# Don't explicitly specify deducable function template arguments, let the compiler deduce them. In some cases, this is even true for class template arguments ([https://en.cppreference.com/w/cpp/language/class_template_argument_deduction CTAD]), e.g. QStringTokenizer. '''Rationale:''' Explicit template arguments can break all kinds of things, see e.g. [https://bugreports.qt.io/browse/QTBUG-100881 QTBUG-100881].
# When constraining template functions, use the canonical form: <tt>template <typename T, if_condition<T> = true></tt>, don't hide the constraint from QDoc. '''Rationale:''' Clumsy, but at least a) safe and b) consistent across Qt (and Qt docs). '''Example:''' https://doc.qt.io/qt-6/qstringview.html#QStringView-7 '''Mechanics:''' if_X is a template alias for std::enable_if_t<X-expr, bool>. The X-expr can be inline, or, if reusable, be another template alias called is_X or variable template called is_X_v. At the time of writing, the <tt>if_X</tt> in QDoc's <tt>\fn</tt> needs to be qualified with the scope it's defined in.
## The <typename T, typename = std:enable_if_t<X>> often seen elsewhere has the problem that such functions cannot be overloaded even if the conditions <tt>X</tt> are mutually exclusive for different overloads, because default arguments are not part of the function signatue. Just don't use it.
## When constraining a documented function this way, add a <tt>\note This function only participates in overload resolution if...</tt> followed by a prose description of the constraint. '''Rationale:''' There's currently no documentation for these things in their own right, something that we'll hopefully fix once we can depend on C++20 and use concepts for the task. '''Example:''' See the QStringView ctor linked above.
### Don't be inventive with the formulation of the note. Use the technocratic phrase above. '''Rationale:''' Once we can depend on C++20, we will want to port our constrained templates to concepts and then easy grepability will ensure we don't overlook something.
=== Relational Operators ===
==== Comparison between signed and unsigned integer types ====
# Avoid comparing signed and unsigned integer values directly. Use the safe <tt>q20::cmp_*</tt> API for it: [https://codereview.qt-project.org/c/qt/qtbase/+/570370 q20::{cmp_{equal,not_equal,{less,greater}{,_equal}},in_range}]. '''Rationale:''' Integer comparison may involve implicit conversions that make the result deviate from what would be mathematically correct, e.g. <tt>-1 < 0u</tt> is <tt>false</tt>, but <tt>q20::cmp_less(-1, 0u)</tt> is <tt>true</tt>, as expected.
## '''Exception''': If signed/unsigned values are intended to be converted to the unsigned type and compared like that, then cast the signed type to the unsigned equivalent and not use <tt>cmp_{*}</tt> functions.
# Never convert the unsigned value to a signed type and compare in the signed domain. '''Rationale:''' It's simpler and safer to compare the signed value to zero (0) and then cast to unsigned for the comparison with the other value, because converting an unsigned value to signed may make it negative, causing false positives.
== Class-Specific Usage Guidelines ==
=== Qt Classes That Shouldn't Be Used in Qt Implementation Anymore ===
# Java-style iterators (QT_NO_JAVA_STYLE_ITERATORS)
# Q_FOREACH (QT_NO_FOREACH)
# QScopedPointer → std::unique_ptr '''Rationale:''' QScopedPointer can't be moved, and its cleanup() protocol looks weird these days. More people know std::unique_ptr.
## Use a const unique_ptr to emulate scoped pointers (const unique_ptr cannot yield ownership except by destruction).
# QSharedPointer/QWeakPointer → std::shared_ptr/std::weak_ptr '''Rationale:''' QSharedPointer's implementation is poor and requires twice the number of atomic operations on copy than std::shared_ptr. We want to remove the class in Qt 7.
# QAtomic* → std::atomic
## Exception: static-storage-duration QBasicAtomic* '''Rationale:''' The Qt class is verified to not cause runtime initialization.
# QPair → std::pair. '''Rationale:''' Since Qt 6.0, QPair is a type alias to std::pair. The difference between the C++ source and what a debugger or linker would show will only confuse users.
# QSharedDataPointer → QExplicitlySharedDataPoiner '''Rationale:''' QSDP performs an atomic check on each access and may detach prematurely. QESDP's detach is explicit (hence the name) and therefore it doesn't permanently check the ref-count. '''Caveats:''' When porting to QESDP, need to carefully add all the detach() calls, and also observe that the two classes have different const-propagation (one is deep, one is shallow).
# q(v)nprintf() → std::(v)snprinf() (''not'' snprintf() from <tt>stdio.h</tt>; you must <tt>#include <cstdio></tt>!) (QT_NO_QSNPRINTF) '''Rationale:''' qsnprintf() exhibits even more platform-dependent behaviour than C++11 std::snprintf() does. At least std::snprinf() is now C++-standardized and MSVC, which ignores C standards > 89, implements it without security warnings and with C99 semantics. qsnprintf(), OTOH, has nasty fall-backs to QString::asprintf().toLocal8Bit() (which treats %ls and %a differently) or to snprintf_s() (which differs in return values).
=== std classes That Shouldn't Be Used in Qt Implementation ===
# std::mutex '''Rationale:''' QMutex uses futexes on Linux and Windows (possibly Mac, too), which are much faster. std::mutex needs to be a pthread_mutex, for compatibility with std::condition_variable.
## Exception: The std::mutex/std::condition_variable combination is more efficient than QMutex/QWaitCondition, because the latter has two mutexes while the former has only one.
### Use QtPrivate::mutex/condition_variable when the code needs to work on Integrity.
----
keep the rest alphabetically sorted
----
=== QByteArray ===
# (also applies to QString) Avoid assigning the first part of a concatenation, followed by op+= calls. Start with a default constructed object and append all parts with op+=/append(). '''Rationale:''' When you assign a string to QByteArray, one of two things can happen: a) if the RHS is also a QByteArray, then you've just made a shallow copy and the next append() is guaranteed to detach. b) if the RHS is a non-QByteArray, the LHS will have exactly the capacity required to hold the RHS's data, guaranteeing that the next append() will have to reallocate. If you start with a default-constructed QBA, then the next append() will also allocate memory, but it will allocate according to QBA's geometric growth strategy, ie. in general more than required for just that one append(), so the next append may be for free. It should also be easier for the memory subsystem to deal with temporary allocations of always the same sizes.
## Alternatively, use QStringBuilder.
=== QDateTime ===
# Avoid currentDateTime() unless you really need local time. Use currentDateTimeUtc(). '''Rationale:''' It's two orders of magnitude faster and stable across DST transitions. Apply timezones only for display to users, everything else is in UTC. '''References:''' [https://bugreports.qt.io/browse/QTBUG-103392 QTBUG-103392]. '''Credit:''' Heard it first from Milian Wolff.
=== QDebug / qWarning() ===
# Prefer to use the printf-style if at all possible. '''Rationale:''' The printf-style version doesn't require the heavy qdebug.h include, and expands to a lot less code compared to iostreams-style version. Warning and debug code (in production libs) has no business blowing up the executable code. '''Examples:''' https://codereview.qt-project.org/c/qt/qtbase/+/264712
## Prefer %ls / qUtf16Printable() over %s / qUtf8Printable() in qDebug()/qWarning() messages. '''Rationale:''' same as parent: code size.  '''Examples:''' https://codereview.qt-project.org/c/qt/qtbase/+/263431
# If you have several similar qWarnings(), Extract Method a Q_DECL_COLD_FUNCTION. '''Rationale:''' Q_DECL_COLD_FUNCTION puts the code into a special ELF section to be paged into RAM only when needed, reducing the memory footprint of any application using the code. Compilers also automatically mark any paths that lead to a call of a Q_DECL_COLD_FUNCTION as <nowiki>[[unlikely]]</nowiki>, so you don't need to supply the attribute manually. Finally, compilers optimize cold functions for size, not speed, further reducing the executable code size. '''Examples:''' https://codereview.qt-project.org/c/qt/qtbase/+/263429, https://codereview.qt-project.org/c/qt/qtbase/+/410970
# Don't use Q_UNLIKELY on conditions leading to qWarning()/qFatal(). '''Rationale:''' While you see this quite widely used in QtBase, it's totally unnecessary, because qWarning() etc are marked as Q_DECL_COLD_FUNCTIONS, so as per the previous item, paths leading to such a call are automatically treated as Q_UNLIKELY by the compiler.
=== QExplicitlySharedDataPointer ===
# When using it as a pimpl-ptr, consider using the <tt>QT_DECLARE_QESDP_SPECIALIZATION_DTOR</tt> and <tt>QT_DEFINE_QESDP_SPECIALIZATION_DTOR</tt> macros. '''Rationale:''' Allows to make the move-constructor of the Public class inline <tt>noexcept = default</tt>ed.
## Don't use the <tt>_WITH_EXPORT</tt> version of the macros. '''Rationale:''' This is only needed if you wish to also <tt>= default</tt> the destructor of the Public class ''inline''. The move-ctor needs to have the definition ready, but then doesn't call it. Usually, the destructor of the Public class is <tt>= default</tt>ed ''out-of-line'', so non-exported works. When you ''do'' use the <tt>_WITH_EXPORT</tt> macro, you need to add a suppression <tt>ELFVERSION:ignore-next</tt> to the line before the Private class definition. '''Rationale:''' tbd. Ask Thiago in the meantime.
# Beware of using Q_D and detach() in one function: after detach(), the <tt>d</tt> declared by Q_D will still point to the old Private object. '''Mechanics''': Use Q_D as usual, but switch to explicit <tt>d_func()</tt> after the detach(). We're currently looking into how to make this safer, by adding variants of the Q_D macro.
=== QMap / QMultiMap ===
=== QMap / QMultiMap ===


# Avoid using QMap unless you really ''need'' the implicit sharing it adds on top of std::map. You do ''not'' need implicit sharing if the map is never copied. Passing into and returning from a function, and copies that can be replaced with moves don't count. '''Rationale:''' Since Qt 6.0 QMap is merely a shared pointer around std::map. Using std::map, which gets instantiated ''anyway'', tends to save 1.7KiB in TEXT size on optimized GCC 11 builds, sometimes much more, compared to QMap use. That's almost 2KiB of executable code size the CPU does ''not'' need to chew through at runtime to do the exact same thing. '''References:''' Commit messages in https://codereview.qt-project.org/q/topic:q-to-std-map.
# Avoid using QMap unless you really ''need'' the implicit sharing it adds on top of std::map. You do ''not'' need implicit sharing if the map is never copied. Passing into and returning from a function, and copies that can be replaced with moves don't count. '''Rationale:''' Since Qt 6.0 QMap is merely a shared pointer around std::map. Using std::map, which gets instantiated ''anyway'', tends to save 1.7KiB in TEXT size on optimized GCC 11 builds, sometimes much more, compared to QMap use. That's almost 2KiB of executable code size the CPU does ''not'' need to chew through at runtime to do the exact same thing. '''References:''' Commit messages in https://codereview.qt-project.org/q/topic:q-to-std-map.


=== std::numeric_limits ===
=== QSpan ===
 
# Guard against Windows' min/max defines like this: (std::numeric_limits<int>::max)(). Ditto `(std::min)(a, b)`. No code comment needed. It's used ubiquitously in Qt.
 
=== std::optional ===
 
# Don't use value(), has_value(), use pointer-compatible subset: if (opt), *opt, opt->foo. '''Rationale:''' has_value() is just needless verbosity, but value() is downright dangerous, because it's a checked version of op* and throws an exception if !*this.
# Avoid the default constructor, explicitly use std::nullopt. '''Rationale:''' GCC has a long-standing bug which causes the default constructor to emit maybe-unused warnings. '''Example:''' (incl. error message and links to upstream bug reports) https://codereview.qt-project.org/c/qt/qtlanguageserver/+/413811
# When wrapping legacy APIs that want to write into a T out parameter, consider creating the T directly in the optional<> and supplying std::optional::operator*() to the wrapped function instead of constructing a T on the stack and then moving it into the optional. '''Rationale:''' Depending on the T, either one or the other is more efficient. If default-constructing a T is more efficient than value-constructing it (e.g. std::array<int, 100'000>, or just int), then the default-construct-and-move version is more efficient. If a T's default-constructor value-constructs, then creating the T directly inside the optional to save the move is more efficient. '''Mechanics:''' <code>
std::optional<T> one() {
    T t;
    if (read(&t))
        return {std::move(t);} // RVO, but T is moved
    return std::nullopt;
}
std::optional<T> two() {
    std::optional<T> r(std::in_place); // value-construct a T inside the optional (does not default-construct)
    if (!read(&*r))            // read directly into the optional
        r.reset();
    return r; // note: this depends on _N_RVO
}
</code>
 
== Deprecations and Removals ==
 
# Does the documentation reflect the deprecation, and mention the version it is first deprecated for (see also qdoc's [https://doc.qt.io/qt-6/16-qdoc-commands-status.html#deprecated-command \deprecated] command? Does it give the user a rationale, as well as a suggestion for alternatives?
# for QT_REMOVED_SINCE, does the new function documentation contain a "\note In Qt versions prior to 6.x, this function took/was ..."?
# When deprecating a signal or a slot, use QT_MOC_COMPAT to enable warnings also on string-based connect(). '''Example:''' https://codereview.qt-project.org/c/qt/qtbase/+/531860
 
=== Specifically QT_*_REMOVED_SINCE / QT_*_INLINE_SINCE ===
 
# Can the REMOVED_SINCE function actually ''be'' removed? There usually needs to be a replacement function to provide SC. If the result is SiC, you cannot REMOVED_SINCE, you need to use traditional DEPRECATED_SINCE. '''Example:''' You can replace an (int) with a (qint64), but you can't replace an (int*) or (int&) with a (qint64*) or (qint64&), resp. The latter need to be new overloads and the old ones overloaded, cf. https://codereview.qt-project.org/c/qt/qtbase/+/535653
# Are the QT6_(CALL,DECL,IMPL)_NEW_OVERLOAD(_TAIL) macros used correctly (and exclusively)? '''Rationale:''' Consistency, allowing global search and replace to fix things up come Qt 7. Find existing uses to familiarize yourself with them, on top of the comment in qtversionchecks.h. TL;DR: these macros are only needed if new and old functions differ only in return type.
# If the patch adds a new removed_api.cpp:
## Insist on it to be a separate commit. '''Rationale:''' Different audience. Domain experts may not know the details of removed_api.cpp. Also, allows separate teams to make progress separately, without having to wait for an unrelated change to provide a removed_api.cpp '''Reference:''' https://codereview.qt-project.org/c/qt/qtbase/+/421365
## Is the file in a compat/ subfolder? '''Rationale:''' Consistency with the rest of Qt.
### There should be exactly ''one'' removed_api.cpp per module. '''Rationale:''' Consistency. But also tiny speedups, because each removed_api.cpp must be compiled separately (no PCH, no unity build). It probably also just plain won't work if you have one QT_*_REMOVED_SINCE macro used by to different TUs.
## Is the compat/removed_api.cpp file added to NO_PCH_SOURCES? '''Rationale:''' With PCH, the crucial #define at the top of the file will have no effect because the following #includes will all be skipped as having already been included by the PCH module header).
## Does it contain the necessary #defines and an initial QT_*_REMOVED_SINCE block with the usual comment about ordering headers? '''Rationale:''' Consistency.
# If the patch uses removed_api.cpp file:
## Is the removed API (incl. the header) in the correct QT_*_REMOVED_SINCE block? '''Rationale:''' It won't work otherwise.
## Is the header #include of the form prescribed by the prevailing code comment? '''Rationale:''' Consistency
## Is the header #include correctly ordered w.r.t. the other includes (cf. prevailing code comment)? '''Rationale:''' Avoiding merge conflicts.
## If the patch uses QT_*_INLINE_SINCE:
### Does the header include line have a comment // inlined API (or // also inlined API)? '''Rationale:''' Consistency.
## If the patch adds a new QT_*_REMOVED_SINCE block for a new Qt version to handle:
### Does the new block adhere to 3.4. above? Esp. a new copy of the comment?
# If inline API needs to be removed:
## If not exported, no action needed. Just change (in a SC way, cf. Item 1).
## If exported, just warp in QT_*_REMOVED_SINCE, don't move implementation into removed_api.cpp. '''Rationale:''' Only MSVC/Windows export inline functions, the other platforms don't. Just wrapping and including the header into removed_api.cpp will do the right thing on every platform. Moving the implementation to removed_api.cpp would add a new symbol on those other platforms. Harmless, but never called, so useless.
# Do not put code into removed_api.cpp that is any more complex than straightforwardly calling the replacement function. '''Rationale:''' The removed_api.cpp code is compiled in, but not callable through the current API. Only code compiled against an ''older'' version of Qt will continue to call these function. As a consequence, removed_api.cpp has ''zero'' test coverage. The code in there ''must'' fulfill "compiles == works". If that cannot be guaranteed (or a reviewer has his doubts), you need to factor the implementation into a new private function and call that from the old and the replacement public function.
 
== Conditional Compilation ==
 
# In general, don't extra-indent code in between temporary #ifdefs, e.g. Qt or C++ version checks. '''Rationale:''' We'd like to remove these guards in an automate fashion later on, and whatever tool we'll use will not re-indent (clang-format is incompatible with Qt coding standards, and even if i were, we'd want git-blame to pinpoint the original addition of the surviving lines, not the reformatting commit).
 
=== C++ Feature Checks ===
 
Qt uses SG-6/SD-10/C++20-style feature macro checks, with a few exceptions that are listed as such in qcompilerdetection.h. From Qt 6.4 onward, you should consider <version> being included by qcompilerdetection.h. Compilers that don't support the file in C++17 mode appear to not have the guarded C++ features for the purposed of Qt API.
 
# Use __cpp_lib_... macros to guard the inclusion of new headers, don't use __has_include(). '''Rationale:''' Compilers tend to report that they have said include file, but then may #error out when you #include it in an earlier C++ version. '''Example:''' https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79433 (since fixed, but we had another compiler barf on the same issue seven years later: https://codereview.qt-project.org/c/qt/qtbase/+/560619/comment/833be825_1c63d19b/) 
# Don't use a version check if the minimal required version would be equal to the initial one. '''Rationale:''' Communicates to the reader that the initial version of the feature is sufficient, without having to look up (or know by heart) the initial version number.
## For new code: use just a version check (ie. omit the check for defined()) if the initial version is available in the minimal C++ standard Qt currently requires. '''Examples:'''
##* <tt>#ifdef __cpp_lib_span</tt>: ok, any version of std::span will do
##* <tt>#if __cpp_constexpr >= 201907L</tt>: ok, C++17 (required by Qt 6) already guarantees __cpp_constexpr, but we need more
##* <tt>#if defined(__cpp_constexpr) && __cpp_constexpr >= 201907L</tt>: ''not'' ok (in new code): We know __cpp_constexpr it defined, because we require C++17
 
== Axivion / Clazy Checks ==
 
This section helps to ensure homogeneous implementation of Axivion and Clazy static-analyzer complaint fixes, by giving guidelines for fixes. Not all checks that were useful once are still useful, some may only apply to new code and not old, etc.
 
Keep this list sorted by title.
 
=== clazy-function-args-by-ref ===
 
# This can be mostly ignored. '''Rationale:''' See [[#clazy-function-args-by-value]]. There may be obvious hits like passing QString by value, but even that may be intended, so the first reaction should always be to trust the programmer that used pass-by-value. Only if it turns out that they decided wrongly should a fix be made.
# Do not add suppressions. '''Rationale:''' This check is fundamentally wrong (too many False Positives), so it should be excluded project-wide, not suppressed on a per-use basis.
 
=== clazy-function-args-by-value ===
 
# Fix in old and new code, ignore the "sure that value would be passed in CPU registers" part. '''Rationale:''' Passing by value is always correct (assuming class authors do their job and disable copying when it wouldn't be safe, e.g. in RAII classes or polymorphic class hierarchies (slicing)), but it may be a bit slower (or not, depends on many things). OTOH, pass-by-cref has the problem that the argument may alias another object reachable from the function (e.g. a global or member object). The compiler will have to take that into account, and cannot optimize as aggressively, but more importantly, the author of the code also has to keep that in mind, and that can fail: '''Example:''' https://codereview.qt-project.org/c/qt/qtbase/+/191706 '''References:''' https://www.macieira.org/blog/2012/02/the-value-of-passing-by-value/ (note that this is ''old'', in particular, C++17 added Guaranteed Copy Elision, making pass-by-value an even better idea that it was in C++98/11: even more efficient, and available to non-copy-non-movable(!) types).
 
=== clazy-old-style-connect ===
 
# Do ''not'' port existing code. '''Rationale:''' Old-style connect() is safe when a signal is emitted during destruction: Since the slot is called using qt_metacall(), a virtual method, it cannot happen that a slot defined on a Derived is called when ~Derived has already executed and only a Base object is left. New-style-connect instead stores a member function pointer and will happily call the method on a partially-destroyed object. As a consequence, as the old code was developed with the old semantics in mind, you will find that you need to do manual disconnect()s in class dtors, and because that doesn't work without having the corresponding Connection object, you need to store that somewhere, too. Also, new-style connects in general generate more code than old-style-connects, up to a few KiB per class ported. Seeing as it produces more soure and more execuable code, and reduces mainainability (we can suddenly forget to add the disconnect to a newly-added connect), this is not a good idea for existing code. The older the code, the worse of an idea this is.
 
=== Qt-FunctionArgsByValueRef ===
 
See [[#clazy-function-args-by-ref]] or [[#clazy-function-args-by-value]]. This check will need to be split. Do ''not'' add suppressions.
 
=== Qt-OldStyleConnect ===
 
See [[#clazy-old-style-connect]].
 
= Decided To Keep Here =


(make a proper subsection grouping when moving stuff here)
# If using <tt>QSpan</tt> as an octet buffer, always use <tt>QSpan<std::byte></tt> (or the fixed-sized version of it), not <tt>QSpan<char></tt> or <tt>uchar</tt>. '''Rationale:''' <tt>QSpan<std::byte></tt> is readily created from a span of different type using <tt>as_writable_bytes()</tt>. There is no such function (neither should there be one) for <tt>QSpan<char></tt>.
## '''Exception:''' When replacing an API that took char or uchar arrays (e.g. as QByteArray(View)), it might make sense to overload on <tt>QSpan<char></tt> and/or <tt>QSpan<uchar></tt>. These overload should call the <tt>std::byte</tt> one, converting their arguments using <tt>as_writable_bytes()</tt>.
# Consider adding a span-of-byte-array-view or span-of-span overload to provide a scatter-gather API, like [https://www.gnu.org/software/libc/manual/html_node/Scatter_002dGather.html POSIX iovec / readv / writev]. '''Example:''' [https://doc.qt.io/qt-6/qcryptographichash.html#hashInto-1 QCryptographicHash::hashInto()]

Revision as of 15:37, 25 November 2024

QMap / QMultiMap

  1. Avoid using QMap unless you really need the implicit sharing it adds on top of std::map. You do not need implicit sharing if the map is never copied. Passing into and returning from a function, and copies that can be replaced with moves don't count. Rationale: Since Qt 6.0 QMap is merely a shared pointer around std::map. Using std::map, which gets instantiated anyway, tends to save 1.7KiB in TEXT size on optimized GCC 11 builds, sometimes much more, compared to QMap use. That's almost 2KiB of executable code size the CPU does not need to chew through at runtime to do the exact same thing. References: Commit messages in https://codereview.qt-project.org/q/topic:q-to-std-map.

QSpan

  1. If using QSpan as an octet buffer, always use QSpan<std::byte> (or the fixed-sized version of it), not QSpan<char> or uchar. Rationale: QSpan<std::byte> is readily created from a span of different type using as_writable_bytes(). There is no such function (neither should there be one) for QSpan<char>.
    1. Exception: When replacing an API that took char or uchar arrays (e.g. as QByteArray(View)), it might make sense to overload on QSpan<char> and/or QSpan<uchar>. These overload should call the std::byte one, converting their arguments using as_writable_bytes().
  2. Consider adding a span-of-byte-array-view or span-of-span overload to provide a scatter-gather API, like POSIX iovec / readv / writev. Example: QCryptographicHash::hashInto()
Retrieved from "https://wiki.qt.io/index.php?title=Things_To_Look_Out_For_In_Reviews&oldid=43303"