include-what-you-use - analyze includes in C and C++ source files.
include-what-you-use |
[-Xiwyu option]... [clang-options] file |
“Include what you use” means this: for every symbol (type,
function, variable, or macro) that you use in foo.cpp, either
foo.cpp or foo.h should include a header file that exports the
declaration of that symbol. include-what-you-use is a tool to analyze
includes of source files to find “include-what-you-use”
violations, and suggest fixes for them.
The main goal of include-what-you-use is to remove
superfluous includes. It does this both by figuring out what includes are
not actually needed for this file (for both source and header files), and by
replacing includes with forward declarations when possible.
Options for include-what-you-use have to be preceded with -Xiwyu.
All other options are interpreted as clang(1) compiler options.
- --check_also=glob
- Print “include-what-you-use”-violation info for all files
matching the given glob pattern (in addition to the default of reporting
for the input source file and associated header files). This flag may be
specified multiple times to specify multiple glob patterns.
- --cxx17ns
- Suggest the more concise syntax for nested namespaces introduced in
C++17.
- --keep=glob
- Always keep the includes matched by glob. This flag may be used
multiple times to specify more than one glob pattern.
- --mapping_file=filename
- Use the given mapping file.
- --max_line_length
- Maximum line length for includes. Note that this only affects the comments
and their alignment, the maximum line length can still be exceeded with
long filenames (default: 80).
- --no_comments
- Do not add comments after includes about which symbols the header was
required for.
- --no_default_mappings
- Do not use the default mappings.
- --no_fwd_decls
- Do not use forward declarations, and instead always include the required
header.
- --pch_in_code
- Mark the first include in a translation unit as a precompiled header. Use
--pch_in_code to prevent removal of necessary PCH includes.
Although clang(1) forces PCHs to be listed as prefix headers, the
PCH-in-code pattern can be used with gcc(1).
- --prefix_header_includes=value
- Controls how includes and forward declarations involving prefix headers
should be handled. Prefix headers are files included via the command-line
option -include. This option specifies what to do if a prefix
header makes includes or forward declarations obsolete. The following
values are allowed:
- add
- New includes are added. This is the default.
- keep
- No new includes are added, existing ones are kept intact.
- remove
- No new includes are added, existing ones are removed.
- --quoted_includes_first
- When sorting includes, place quoted includes first.
- --transitive_includes_only
- Do not suggest that a file should add foo.h unless foo.h is
already visible in the file's transitive includes.
- --verbose=level
- Set verbosity. At the highest level, this will dump the AST of the source
file and explain all decisions.
include-what-you-use always returns with a nonzero status code to make
usage with make(1) feasible.
Sometimes headers are not meant to be included directly, and sometimes headers
are guaranteed to include other headers. Since this is hard to tell from the
source code alone, these relationships have to be provided via mapping files
or pragma comments.
A mapping file consists of a comma-separated list of rules
enclosed by square brackets []. A rule can be any of the
following:
- { include: [header, header] }
- Declares that instead of the first header the second can be used. A
header can appear on the left-hand side in multiple rules, meaning that
any of the right-hand side headers can be used instead.
- { symbol: [symbol, header] }
- Declares that to use a symbol, a certain header should be
included.
- { ref: mapping-file }
- Includes the contents of another mapping-file.
The descriptions of headers and symbols are as follows:
- header := "include-spec",
visibility
- Describes a header file. The include-spec specifies the header file
and visibility specifies whether the header is public or
private. Private headers are not allowed to be included directly.
So every private header file should appear on the left-hand side of a
mapping at least once. The visibility of a header file has to be the same
for all rules it appears in!
- include-spec := <system-header-file>
| \"project-header-file\"
- How the header is #included in a source file. Quotation marks need
to be escaped.
- symbol := "symbol-name",
visibility
- Describes a symbol, for example a type, function or macro. The
visibility is ignored, by convention private is used.
Lines starting with # are treated as comments.
Pragma comments provide information about the relations between source and
header files and allow to whitelist or blacklist #includes and forward
declarations.
All arguments should be enclosed in quotation marks.
- // IWYU pragma: keep
- Used after #include directives or forward declarations it ensures
that they won't be removed.
- // IWYU pragma: export
- Used after an #include directive it indicates that the current file
is considered to be a provider of the included file.
- // IWYU pragma: begin_exports, // IWYU pragma:
end_exports
- Has the same effect as the previous pragma comment, but applies to a range
of #includes instead of a single line.
- // IWYU pragma: private[, include header]
- Indicates that the current file is considered private, and (optionally)
that any symbol will be provided by header.
- // IWYU pragma: no_include header
- States that header should not be suggested for inclusion.
- // IWYU pragma: no_forward_declare symbol
- States that symbol should not be forward-declared.
- // IWYU pragma: friend regex
- Used in a private header, this indicates that all files matching
regex are allowed to #include it.
- // IWYU pragma: associated
- Used in a source file after an #include directive, this marks the
header as associated to the source file. This is required if source and
header filename differ in more than their ending. Includes from an
associated header are assumed in the source file.
/usr/share/include-what-you-use
Directory containing the standard mapping files.
The easiest way to run include-what-you-use over your codebase is to run
make -k CC=include-what-you-use CXX=include-what-you-use
The program always exits with an error code, so the build system
knows that it didn't build an object file. Hence the need for -k. It
only analyzes source files built by make(1) along with their
corresponding header files. If a project has a header file with no
corresponding source file, include-what-you-use will ignore it unless
you use the --check_also option to add it for analysis together with
a source file.
CMake has built-in support for include-what-you-use as of
version 3.3. With the CMAKE_CXX_INCLUDE_WHAT_YOU_USE option, CMake
runs it on every source file after compilation:
cmake -DCMAKE_CXX_INCLUDE_WHAT_YOU_USE="include-what-you-use <args>" ..
The option is supported for both C and C++, so use
CMAKE_C_INCLUDE_WHAT_YOU_USE for C code.