| # Abseil FAQ | |
| ## Is Abseil the right home for my utility library? | |
| Most often the answer to the question is "no." As both the [About | |
| Abseil](https://abseil.io/about/) page and our [contributing | |
| guidelines](https://github.com/abseil/abseil-cpp/blob/master/CONTRIBUTING.md#contribution-guidelines) | |
| explain, Abseil contains a variety of core C++ library code that is widely used | |
| at [Google](https://www.google.com/). As such, Abseil's primary purpose is to be | |
| used as a dependency by Google's open source C++ projects. While we do hope that | |
| Abseil is also useful to the C++ community at large, this added constraint also | |
| means that we are unlikely to accept a contribution of utility code that isn't | |
| already widely used by Google. | |
| ## How to I set the C++ dialect used to build Abseil? | |
| The short answer is that whatever mechanism you choose, you need to make sure | |
| that you set this option consistently at the global level for your entire | |
| project. If, for example, you want to set the C++ dialect to C++17, with | |
| [Bazel](https://bazel/build/) as the build system and `gcc` or `clang` as the | |
| compiler, there several ways to do this: | |
| * Pass `--cxxopt=-std=c++17` on the command line (for example, `bazel build | |
| --cxxopt=-std=c++17 ...`) | |
| * Set the environment variable `BAZEL_CXXOPTS` (for example, | |
| `BAZEL_CXXOPTS=-std=c++17`) | |
| * Add `build --cxxopt=-std=c++17` to your [`.bazelrc` | |
| file](https://docs.bazel.build/versions/master/guide.html#bazelrc) | |
| If you are using CMake as the build system, you'll need to add a line like | |
| `set(CMAKE_CXX_STANDARD 17)` to your top level `CMakeLists.txt` file. If you | |
| are developing a library designed to be used by other clients, you should | |
| instead leave `CMAKE_CXX_STANDARD` unset and configure the minimum C++ standard | |
| required by each of your library targets via `target_compile_features`. See the | |
| [CMake build | |
| instructions](https://github.com/abseil/abseil-cpp/blob/master/CMake/README.md) | |
| for more information. | |
| For a longer answer to this question and to understand why some other approaches | |
| don't work, see the answer to ["What is ABI and why don't you recommend using a | |
| pre-compiled version of | |
| Abseil?"](#what-is-abi-and-why-dont-you-recommend-using-a-pre-compiled-version-of-abseil) | |
| ## What is ABI and why don't you recommend using a pre-compiled version of Abseil? | |
| For the purposes of this discussion, you can think of | |
| [ABI](https://en.wikipedia.org/wiki/Application_binary_interface) as the | |
| compiled representation of the interfaces in code. This is in contrast to | |
| [API](https://en.wikipedia.org/wiki/Application_programming_interface), which | |
| you can think of as the interfaces as defined by the code itself. [Abseil has a | |
| strong promise of API compatibility, but does not make any promise of ABI | |
| compatibility](https://abseil.io/about/compatibility). Let's take a look at what | |
| this means in practice. | |
| You might be tempted to do something like this in a | |
| [Bazel](https://bazel.build/) `BUILD` file: | |
| ``` | |
| # DON'T DO THIS!!! | |
| cc_library( | |
| name = "my_library", | |
| srcs = ["my_library.cc"], | |
| copts = ["-std=c++17"], # May create a mixed-mode compile! | |
| deps = ["@com_google_absl//absl/strings"], | |
| ) | |
| ``` | |
| Applying `-std=c++17` to an individual target in your `BUILD` file is going to | |
| compile that specific target in C++17 mode, but it isn't going to ensure the | |
| Abseil library is built in C++17 mode, since the Abseil library itself is a | |
| different build target. If your code includes an Abseil header, then your | |
| program may contain conflicting definitions of the same | |
| class/function/variable/enum, etc. As a rule, all compile options that affect | |
| the ABI of a program need to be applied to the entire build on a global basis. | |
| C++ has something called the [One Definition | |
| Rule](https://en.wikipedia.org/wiki/One_Definition_Rule) (ODR). C++ doesn't | |
| allow multiple definitions of the same class/function/variable/enum, etc. ODR | |
| violations sometimes result in linker errors, but linkers do not always catch | |
| violations. Uncaught ODR violations can result in strange runtime behaviors or | |
| crashes that can be hard to debug. | |
| If you build the Abseil library and your code using different compile options | |
| that affect ABI, there is a good chance you will run afoul of the One Definition | |
| Rule. Examples of GCC compile options that affect ABI include (but aren't | |
| limited to) language dialect (e.g. `-std=`), optimization level (e.g. `-O2`), | |
| code generation flags (e.g. `-fexceptions`), and preprocessor defines | |
| (e.g. `-DNDEBUG`). | |
| If you use a pre-compiled version of Abseil, (for example, from your Linux | |
| distribution package manager or from something like | |
| [vcpkg](https://github.com/microsoft/vcpkg)) you have to be very careful to | |
| ensure ABI compatibility across the components of your program. The only way you | |
| can be sure your program is going to be correct regarding ABI is to ensure | |
| you've used the exact same compile options as were used to build the | |
| pre-compiled library. This does not mean that Abseil cannot work as part of a | |
| Linux distribution since a knowledgeable binary packager will have ensured that | |
| all packages have been built with consistent compile options. This is one of the | |
| reasons we warn against - though do not outright reject - using Abseil as a | |
| pre-compiled library. | |
| Another possible way that you might afoul of ABI issues is if you accidentally | |
| include two versions of Abseil in your program. Multiple versions of Abseil can | |
| end up within the same binary if your program uses the Abseil library and | |
| another library also transitively depends on Abseil (resulting in what is | |
| sometimes called the diamond dependency problem). In cases such as this you must | |
| structure your build so that all libraries use the same version of Abseil. | |
| [Abseil's strong promise of API compatibility between | |
| releases](https://abseil.io/about/compatibility) means the latest "HEAD" release | |
| of Abseil is almost certainly the right choice if you are doing as we recommend | |
| and building all of your code from source. | |
| For these reasons we recommend you avoid pre-compiled code and build the Abseil | |
| library yourself in a consistent manner with the rest of your code. | |
| ## What is "live at head" and how do I do it? | |
| From Abseil's point-of-view, "live at head" means that every Abseil source | |
| release (which happens on an almost daily basis) is either API compatible with | |
| the previous release, or comes with an automated tool that you can run over code | |
| to make it compatible. In practice, the need to use an automated tool is | |
| extremely rare. This means that upgrading from one source release to another | |
| should be a routine practice that can and should be performed often. | |
| We recommend you update to the [latest commit in the `master` branch of | |
| Abseil](https://github.com/abseil/abseil-cpp/commits/master) as often as | |
| possible. Not only will you pick up bug fixes more quickly, but if you have good | |
| automated testing, you will catch and be able to fix any [Hyrum's | |
| Law](https://www.hyrumslaw.com/) dependency problems on an incremental basis | |
| instead of being overwhelmed by them and having difficulty isolating them if you | |
| wait longer between updates. | |
| If you are using the [Bazel](https://bazel.build/) build system and its | |
| [external dependencies](https://docs.bazel.build/versions/master/external.html) | |
| feature, updating the | |
| [`http_archive`](https://docs.bazel.build/versions/master/repo/http.html#http_archive) | |
| rule in your | |
| [`WORKSPACE`](https://docs.bazel.build/versions/master/be/workspace.html) for | |
| `com_google_abseil` to point to the [latest commit in the `master` branch of | |
| Abseil](https://github.com/abseil/abseil-cpp/commits/master) is all you need to | |
| do. For example, on February 11, 2020, the latest commit to the master branch | |
| was `98eb410c93ad059f9bba1bf43f5bb916fc92a5ea`. To update to this commit, you | |
| would add the following snippet to your `WORKSPACE` file: | |
| ``` | |
| http_archive( | |
| name = "com_google_absl", | |
| urls = ["https://github.com/abseil/abseil-cpp/archive/98eb410c93ad059f9bba1bf43f5bb916fc92a5ea.zip"], # 2020-02-11T18:50:53Z | |
| strip_prefix = "abseil-cpp-98eb410c93ad059f9bba1bf43f5bb916fc92a5ea", | |
| sha256 = "aabf6c57e3834f8dc3873a927f37eaf69975d4b28117fc7427dfb1c661542a87", | |
| ) | |
| ``` | |
| To get the `sha256` of this URL, run `curl -sL --output - | |
| https://github.com/abseil/abseil-cpp/archive/98eb410c93ad059f9bba1bf43f5bb916fc92a5ea.zip | |
| | sha256sum -`. | |
| You can commit the updated `WORKSPACE` file to your source control every time | |
| you update, and if you have good automated testing, you might even consider | |
| automating this. | |
| One thing we don't recommend is using GitHub's `master.zip` files (for example | |
| [https://github.com/abseil/abseil-cpp/archive/master.zip](https://github.com/abseil/abseil-cpp/archive/master.zip)), | |
| which are always the latest commit in the `master` branch, to implement live at | |
| head. Since these `master.zip` URLs are not versioned, you will lose build | |
| reproducibility. In addition, some build systems, including Bazel, will simply | |
| cache this file, which means you won't actually be updating to the latest | |
| release until your cache is cleared or invalidated. |