--- local: ---
This document captures the style guide rules that are followed in the Flang codebase.
Use serial commas in comments, error messages, and documentation unless they introduce ambiguity.
#ifndef FORTRAN_header_H_ #define FORTRAN_header_H_ // code #endif // FORTRAN_header_H_
#include
every header defining an entity that your project header or source file actually uses directly. (Exception: when foo.cpp starts, as it should, with #include "foo.h"
, and foo.h includes bar.h in order to define the interface to the module foo, you don't have to redundantly #include "bar.h"
in foo.cpp.)#include "foo.h"
first in the sequence of inclusions. Then #include
other project headers in alphabetic order; then C++ standard headers, also alphabetically; then C and system headers.#include <iostream>
. If you need it for temporary debugging, remove the inclusion before committing.clear()
and size()
member functions in a class that implements an STL-ish container. Fortran intrinsic function names are conventionally in ALL CAPS.DoubleEntryBookkeepingSystem myLedger_;
. POD structures with only public data members shouldn‘t use trailing underscores, since they don’t have class functions from which data members need to be distinguishable.set_...
and should return *this
. Don’t define accessors or mutators needlessly.HaltAndCatchFire()
.for()
/while()
/if()
condition. Otherwise, prefer complete English words to abbreviations when creating names.//
for all comments except for short /*notes*/
within expressions.//
follows code on a line, precede it with two spaces.Always run clang-format
on your changes before committing code. LLVM has a git-clang-format
script to facilitate running clang-format only on the lines that have changed.
Here's what you can expect to see clang-format
do:
Don't try to make columns of variable names or comments align vertically -- they are maintenance problems.
Always wrap the bodies of if()
, else
, while()
, for()
, do
, &c. with braces, even when the body is a single statement or empty. Note that this diverges from the LLVM coding style. In parts of the codebase that make heavy use of LLVM or MLIR APIs (e.g. the Lower and Optimizer libraries), use the LLVM style instead. The opening {
goes on the end of the line, not on the next line. Functions also put the opening {
after the formal arguments or new-style result type, not on the next line. Use {}
for empty inline constructors and destructors in classes.
If any branch of an if
/else if
/else
cascade ends with a return statement, they all should, with the understanding that the cases are all unexceptional. When testing for an error case that should cause an early return, do so with an if
that doesn't have a following else
.
Don't waste space on the screen with needless blank lines or elaborate block commentary (lines of dashes, boxes of asterisks, &c.). Write code so as to be easily read and understood with a minimum of scrolling.
Avoid using assignments in controlling expressions of if()
&c., even with the idiom of wrapping them with extra parentheses.
In multi-element initializer lists (especially common::visitors{...}
), including a comma after the last element often causes clang-format
to do a better jobs of formatting.
Use C++17, unless some compiler to which we must be portable lacks a feature you are considering. However:
dynamic_cast<>
.#include <iostream>
is contraindicated.){braced initializers}
in all circumstances where they work, including default data member initialization. They inhibit implicit truncation. Don‘t use = expr
initialization just to effect implicit truncation; prefer an explicit static_cast<>
. With C++17, braced initializers work fine with auto
too. Sometimes, however, there are better alternatives to empty braces; e.g., prefer return std::nullopt;
to return {};
to make it more clear that the function’s result type is a std::optional<>
.size_t
, which must be used with care. When int
just obviously works, just use int
. When you need something bigger than int
, use std::int64_t
rather than long
or long long
.Fortran
project namespace. Don‘t introduce needless nested namespaces within the project when names don’t conflict or better solutions exist. Never use using namespace ...;
outside test code; never use using namespace std;
anywhere. Access STL entities with names like std::unique_ptr<>
, without a leading ::
.static
functions over functions in anonymous namespaces in source files.auto
judiciously. When the type of a local variable is known, monomorphic, and easy to type, be explicit rather than using auto
. Don't use auto
functions unless the type of the result of an outlined member function definition can be more clear due to its use of types declared in the class.malloc()
or a (non-placement) operator new
. See the section on Pointers below for some suggested options.int
); use const
or rvalue references for larger values (e.g., std::string
); use const
references to rather than pointers to immutable objects; and use non-const
references for mutable objects, including “output” arguments when they can't be function results. Put such output arguments last (pace the standard C library conventions for memcpy()
& al.).typename
to class
in template argument declarations.enum class
to plain enum
wherever enum class
will work. We have an ENUM_CLASS
macro that helps capture the names of constants.constexpr
and const
generously.switch()
statement's labels do not cover all possible case values explicitly, it should contain either a default:;
at its end or a default:
label that obviously crashes; we have a CRASH_NO_CASE
macro for such situations.switch()
statement really does cover all of the values of an enum class
, please insert a call to the SWITCH_COVERS_ALL_CASES
macro at the top of the block. This macro does the right thing for G++ and clang to ensure that no warning is emitted when the cases are indeed all covered.std::optional
values, avoid unprotected access to their content. This is usually by means of x.has_value()
guarding execution of *x
. This is implicit when they are function results assigned to local variables in if
/while
predicates. When no presence test is obviously protecting a *x
reference to the contents, and it is assumed that the contents are present, validate that assumption by using x.value()
instead.c_str()
rather than data()
when converting a std::string
to a const char *
when the result is expected to be NUL-terminated.nullptr
and tests of presence of optional<>
values with .has_value()
in the predicate expressions of control flow statements, but prefer them to implicit conversions to bool
when initializing bool
variables and arguments, and to the use of the idiom !!
.struct
.this->
in (non-static) member functions, unless forced to do so in a template member function.=delete
all of them.There are many -- perhaps too many -- means of indirect addressing data in this project. Some of these are standard C++ language and library features, while others are local inventions in lib/Common
:
Foo *p
): these are obviously nullable, non-owning, undefined when uninitialized, shallowly copyable, reassignable, and often not the right abstraction to use in this project. But they can be the right choice to represent an optional non-owning reference, as in a function result. Use the DEREF()
macro to convert a pointer to a reference that isn't already protected by an explicit test for null.Foo &r
, const Foo &r
): non-nullable, not owning, shallowly copyable, and not reassignable. References are great for invisible indirection to objects whose lifetimes are broader than that of the reference. Take care when initializing a reference with another reference to ensure that a copy is not made because only one of the references is const
; this is a pernicious C++ language pitfall!Foo &&r
): These are non-nullable references with ownership, and they are ubiquitously used for formal arguments wherever appropriate.std::reference_wrapper<>
: non-nullable, not owning, shallowly copyable, and (unlike bare references) reassignable, so suitable for use in STL containers and for data members in classes that need to be copyable or assignable.common::Reference<>
: like std::reference_wrapper<>
, but also supports move semantics, member access, and comparison for equality; suitable for use in std::variant<>
.std::unique_ptr<>
: A nullable pointer with ownership, null by default, not copyable, reassignable. F18 has a helpful Deleter<>
class template that makes unique_ptr<>
easier to use with forward-referenced data types.std::shared_ptr<>
: A nullable pointer with shared ownership via reference counting, null by default, shallowly copyable, reassignable, and slow.Indirection<>
: A non-nullable pointer with ownership and optional deep copy semantics; reassignable. Often better than a reference (due to ownership) or std::unique_ptr<>
(due to non-nullability and copyability). Can be wrapped in std::optional<>
when nullability is required. Usable with forward-referenced data types with some use of extern template
in headers and explicit template instantiation in source files.CountedReference<>
: A nullable pointer with shared ownership via reference counting, null by default, shallowly copyable, reassignable. Safe to use only when the data are private to just one thread of execution. Used sparingly in place of std::shared_ptr<>
only when the overhead of that standard feature is prohibitive.A feature matrix:
indirection | nullable | default null | owning | reassignable | copyable | undefined type ok? |
---|---|---|---|---|---|---|
*p | yes | no | no | yes | shallowly | yes |
&r | no | n/a | no | no | shallowly | yes |
&&r | no | n/a | yes | no | shallowly | yes |
reference_wrapper<> | no | n/a | no | yes | shallowly | yes |
Reference<> | no | n/a | no | yes | shallowly | yes |
unique_ptr<> | yes | yes | yes | yes | no | yes, with work |
shared_ptr<> | yes | yes | yes | yes | shallowly | no |
Indirection<> | no | n/a | yes | yes | optionally deeply | yes, with work |
CountedReference<> | yes | yes | yes | yes | shallowly | no |
Don‘t use dynamic solutions to solve problems that can be solved at build time; don’t solve build time problems by writing programs that produce source code when macros and templates suffice; don't write macros when templates suffice. Templates are statically typed, checked by the compiler, and are (or should be) visible to debuggers.
Reasonable exceptions will be allowed; these guidelines cannot anticipate all situations. For example, names that come from other sources might be more clear if their original spellings are preserved rather than mangled to conform needlessly to the conventions here, as Google's C++ style guide does in a way that leads to weirdly capitalized abbreviations in names like Http
. Consistency is one of many aspects in the pursuit of clarity, but not an end in itself.
Below is a list of workarounds for C++ compiler bugs met with f18 that, even if the bugs are fixed in latest C++ compiler versions, need to be applied so that all desired tool-chains can compile f18.
The following code is legal C++ but fails to compile with the default Ubuntu 18.04 g++ compiler (7.4.0-1ubuntu1~18.0.4.1):
class CantBeCopied { public: CantBeCopied(const CantBeCopied&) = delete; CantBeCopied(CantBeCopied&&) = default; CantBeCopied() {} }; std::optional<CantBeCopied> fooNOK() { CantBeCopied result; return result; // Legal C++, but does not compile with Ubuntu 18.04 default g++ } std::optional<CantBeCopied> fooOK() { CantBeCopied result; return {std::move(result)}; // Compiles OK everywhere }
The underlying bug is actually not specific to std::optional
but this is the most common case in f18 where the issue may occur. The actual bug can be reproduced with any class B
that has a perfect forwarding constructor taking CantBeCopied
as argument: template<typename CantBeCopied> B(CantBeCopied&& x) x_{std::forward<CantBeCopied>(x)} {}
. In such scenarios, Ubuntu 18.04 g++ fails to instantiate the move constructor and to construct the returned value as it should, instead it complains about a missing copy constructor.
Local result variables do not need to and should not be explicitly moved into optionals if they have a copy constructor.