C++: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
__FORCETOC__ | __FORCETOC__ | ||
C++ is a very popular and powerful language which includes all the low-level features of [[C_(programming_language) | C]] (e.g. pointers, operator overloading) along many high-level features (RAII, STD algorithms, STL containers) thanks to the C++ standard library. | C++ is a very popular and powerful language which includes all the low-level features of [[C_(programming_language) | C]] (e.g. pointers, operator overloading) along with many high-level features (RAII, STD algorithms, STL containers) thanks to the C++ standard library. | ||
==Usage== | ==Usage== | ||
| Line 10: | Line 10: | ||
====g++==== | ====g++==== | ||
<syntaxhighlight lang="bash"> | <syntaxhighlight lang="bash"> | ||
g++ my_driver. | g++ my_driver.cpp [-Iincludefolder] -o my_program.out | ||
</syntaxhighlight> | </syntaxhighlight> | ||
Standard optimizations | Standard optimizations | ||
| Line 54: | Line 54: | ||
====References==== | ====References==== | ||
References are accepted or | References are accepted or stored using <code>&</code>.<br> | ||
For example: | For example: | ||
<syntaxhighlight lang="c++"> | <syntaxhighlight lang="c++"> | ||
| Line 68: | Line 68: | ||
====Types==== | ====Types==== | ||
For simple programs, you can use the standard types: | For simple programs, you can use the standard types: | ||
* <code>int</code>, <code> | * <code>int</code>, <code>unsigned int</code>, <code>long</code>, <code>size_t</code> | ||
* <code>float</code>, <code>double</code> | * <code>float</code>, <code>double</code> | ||
See [https://stackoverflow.com/questions/6462439/whats-the-difference-between-long-long-and-long SO] for the standard and guaranteed precision of these built-in types. | See [https://stackoverflow.com/questions/6462439/whats-the-difference-between-long-long-and-long SO] for the standard and guaranteed precision of these built-in types. | ||
| Line 85: | Line 85: | ||
<syntaxhighlight lang="cpp"> | <syntaxhighlight lang="cpp"> | ||
// c-str to string | // c-str to string | ||
char *old_string = "my c-style string"; | char *old_string = "my c-style string"; | ||
string cpp_string(old_string); | std::string cpp_string(old_string); | ||
// string to c-str | // string to c-str | ||
| Line 95: | Line 94: | ||
// char to string | // char to string | ||
char my_char = 'a'; | char my_char = 'a'; | ||
string my_str(1, my_char); | std::string my_str(1, my_char); | ||
</syntaxhighlight> | </syntaxhighlight> | ||
| Line 116: | Line 115: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
==== | ====Building Strings==== | ||
[https://www.fluentcpp.com/2017/12/19/build-strings-from-plain-string-up-to-boost-karma/ The Complete Guide to Building Strings In C++]<br> | [https://www.fluentcpp.com/2017/12/19/build-strings-from-plain-string-up-to-boost-karma/ The Complete Guide to Building Strings In C++]<br> | ||
There are multiple ways of buildings strings in C++.<br> | There are multiple ways of buildings strings in C++.<br> | ||
| Line 175: | Line 174: | ||
#include <iostream> | #include <iostream> | ||
#include <fstream> | #include <fstream> | ||
#include <string> | |||
int main() { | int main() { | ||
| Line 195: | Line 195: | ||
#include <string> | #include <string> | ||
#include <string_view> | #include <string_view> | ||
#include <iostream> | |||
#include <stdexcept> | |||
#include <cstring> // for strerror | |||
std::string get_file_contents(std::string_view filename) { | std::string get_file_contents(std::string_view filename) { | ||
std::ifstream in(filename, std::ios::in | std::ios::binary); | std::ifstream in(filename.data(), std::ios::in | std::ios::binary); | ||
if (in.good()) { | if (in.good()) { | ||
std::string contents; | std::string contents; | ||
| Line 207: | Line 210: | ||
} | } | ||
std::cerr << "Failed to open file: " << filename << std::endl; | std::cerr << "Failed to open file: " << filename << std::endl; | ||
throw(errno); | throw std::runtime_error(std::strerror(errno)); | ||
} | } | ||
</syntaxhighlight> | </syntaxhighlight> | ||
| Line 215: | Line 218: | ||
[https://en.cppreference.com/w/cpp/regex Reference] | [https://en.cppreference.com/w/cpp/regex Reference] | ||
===Thread=== | ===Thread=== | ||
| Line 255: | Line 246: | ||
<syntaxhighlight lang="C++"> | <syntaxhighlight lang="C++"> | ||
std::this_thread::sleep_for(std::chrono::milliseconds(1)); | std::this_thread::sleep_for(std::chrono::milliseconds(1)); | ||
</syntaxhighlight > | </syntaxhighlight> | ||
====Parallel For==== | ====Parallel For==== | ||
[https://www.alecjacobson.com/weblog/?p=4544 Reference] | [https://www.alecjacobson.com/weblog/?p=4544 Reference] | ||
| Line 292: | Line 283: | ||
;Notes | ;Notes | ||
* If the object you need is not very large, you can consider just including it as part of your class (or leaving it on the stack) rather than use pointers. | * If the object you need is not very large, you can consider just including it as part of your class (or leaving it on the stack) rather than use pointers. | ||
* If you want to get a copy of the smart pointer to the current object, the object must ''' | * If you want to get a copy of the smart pointer to the current object, the object must '''publicly''' inherit <code>std::enable_shared_from_this<T></code> | ||
** Then you can call <code>shared_from_this()</code> from within any method (not the constructor). | ** Then you can call <code>shared_from_this()</code> from within any method (not the constructor). | ||
** May throw <code>bad_weak_ptr</code> if you call <code>shared_from_this()</code> without <code>make_shared</code> or if you do not | ** May throw <code>bad_weak_ptr</code> if you call <code>shared_from_this()</code> without <code>make_shared</code> or if you do not publicly inherit <code>std::enable_shared_from_this<T></code> | ||
* When writing functions when do not operate on pointers and do not claim ownership of objects, you should just take a reference to the object as the argument. | * When writing functions when do not operate on pointers and do not claim ownership of objects, you should just take a reference to the object as the argument. | ||
* <code>std::auto_ptr</code> was a predecessor to <code>std::unique_ptr</code> which allowed copies. It shouldn't be used anymore. | * <code>std::auto_ptr</code> was a predecessor to <code>std::unique_ptr</code> which allowed copies. It shouldn't be used anymore. | ||
| Line 318: | Line 309: | ||
# Using free | # Using free | ||
std::unique_ptr<void | std::unique_ptr<void, decltype(&std::free)> my_buffer(std::malloc(10), std::free); | ||
</syntaxhighlight> | </syntaxhighlight> | ||
====Deallocate==== | ====Deallocate==== | ||
Normally, containers such as <code>std::vector</code> will automatically deallocate memory from the heap when the destructor is called. However, | Normally, containers such as <code>std::vector</code> will automatically deallocate memory from the heap when the destructor is called. However, occasionally you may want to coerce this deallocation yourself.<br> | ||
There are a few ways to do this: | There are a few ways to do this: | ||
* Use smart pointers | * Use smart pointers | ||
| Line 339: | Line 330: | ||
// Or alternatively | // Or alternatively | ||
// std::vector<float>().swap(my_vector); | // std::vector<float>().swap(my_vector); | ||
// std::swap(my_vector, std::vector<float>); | // std::swap(my_vector, std::vector<float>()); | ||
// Swap for cl::Buffer | // Swap for cl::Buffer | ||
| Line 380: | Line 371: | ||
#include <iostream> | #include <iostream> | ||
#include <algorithm> | #include <algorithm> | ||
#include <vector> | |||
int main() | int main() | ||
| Line 385: | Line 377: | ||
std::random_device rd; | std::random_device rd; | ||
std::mt19937 gen(rd()); | std::mt19937 gen(rd()); | ||
// Fill with integers in [0, 10] | |||
std::uniform_int_distribution<> dis(0, 10); | std::uniform_int_distribution<> dis(0, 10); | ||
std::vector<int> my_vec(10, 0); | std::vector<int> my_vec(10, 0); | ||
std::generate(my_vec.begin(), my_vec.end(), [&](){return dis(gen);}); | std::generate(my_vec.begin(), my_vec.end(), [&](){return dis(gen);}); | ||
for (int v : my_vec) { | for (int v : my_vec) { | ||
std::cout << v << " "; | std::cout << v << " "; | ||
| Line 401: | Line 393: | ||
===Numeric=== | ===Numeric=== | ||
<code>#include <numeric></code> | |||
====std::iota==== | ====std::iota==== | ||
[https://en.cppreference.com/w/cpp/algorithm/iota Reference]<br> | [https://en.cppreference.com/w/cpp/algorithm/iota Reference]<br> | ||
| Line 488: | Line 481: | ||
<code>#include <array></code><br> | <code>#include <array></code><br> | ||
This wrapper around C-style arrays gives us size information and allows the array to be passed around by reference while keeping the array on the stack or in a struct. | This wrapper around C-style arrays gives us size information and allows the array to be passed around by reference while keeping the array on the stack or in a struct. | ||
Unless you need stack allocation or allocation into a struct, you | Unless you need stack allocation or allocation into a struct, you should probably use a vector. | ||
====std::vector==== | ====std::vector==== | ||
| Line 496: | Line 489: | ||
<syntaxhighlight lang="c++"> | <syntaxhighlight lang="c++"> | ||
// Basics | // Basics | ||
vector my_vec; | std::vector<int> my_vec; | ||
// Vector with size 5 | // Vector with size 5 | ||
vector my_vec(5); | std::vector<int> my_vec(5); | ||
// Vector with size 5 initialized to 1 | // Vector with size 5 initialized to 1 | ||
vector my_vec(5, 1); | std::vector<int> my_vec(5, 1); | ||
// Length of vector | // Length of vector | ||
| Line 517: | Line 510: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
Note that [https://en.cppreference.com/w/cpp/container/vector_bool <code>vector<bool></code>] is a special case of bit-packed booleans instead of an array of bools. You should use <code>vector<char></code> instead if your code relies on it being | Note that [https://en.cppreference.com/w/cpp/container/vector_bool <code>vector<bool></code>] is a special case of bit-packed booleans instead of an array of bools. You should use <code>vector<char></code> instead if your code relies on it being contiguous.<br> | ||
====std::span==== | ====std::span==== | ||
<code>#include | <code>#include <span></code><br> | ||
https://en.cppreference.com/w/cpp/container/span<br> | https://en.cppreference.com/w/cpp/container/span<br> | ||
This is view of some contiguous amount of memory. If the size is static, this is equivalent to a single pointer, otherwise is it equivalent to two pointers (i.e. begin and end). | This is view of some contiguous amount of memory. If the size is static, this is equivalent to a single pointer, otherwise is it equivalent to two pointers (i.e. begin and end). | ||
| Line 530: | Line 523: | ||
====std::list==== | ====std::list==== | ||
This is a doubly linked list. You can delete elements from the middle of the list if you | This is a doubly linked list. You can delete elements from the middle of the list if you have an iterator. | ||
<syntaxhighlight lang="cpp"> | <syntaxhighlight lang="cpp"> | ||
list<int> m_list; | std::list<int> m_list; | ||
list<int>::iterator m_it = m_list.insert(5); | // Insert requires an iterator position | ||
std::list<int>::iterator m_it = m_list.insert(m_list.begin(), 5); | |||
// Remove the element | // Remove the element | ||
| Line 591: | Line 585: | ||
<code>#include <unordered_set></code><br> | <code>#include <unordered_set></code><br> | ||
This is a hashset. You can assume operations are <math>O(1)</math> on average and <math>O(N)</math> worst case.<br> | This is a hashset. You can assume operations are <math>O(1)</math> on average and <math>O(N)</math> worst case.<br> | ||
<syntaxhighlight lang="cpp> | <syntaxhighlight lang="cpp"> | ||
std::unordered_set<int> my_set; | std::unordered_set<int> my_set; | ||
// Add | // Add | ||
| Line 608: | Line 602: | ||
<syntaxhighlight lang="C++"> | <syntaxhighlight lang="C++"> | ||
std::unordered_map<int, std::string> my_map; | std::unordered_map<int, std::string> my_map; | ||
my_map[5] = "hey"; // Fine as long as value type is | my_map[5] = "hey"; // Fine as long as value type is default-constructible | ||
my_map.insert({5, "hey"}); | my_map.insert({5, "hey"}); | ||
my_map.find(5) != my_map.end(); | my_map.find(5) != my_map.end(); | ||
my_map.contains(5); // C++20 | my_map.contains(5); // C++20 | ||
| Line 656: | Line 650: | ||
[https://github.com/rigtorp/awesome-modern-cpp List of resources]<br> | [https://github.com/rigtorp/awesome-modern-cpp List of resources]<br> | ||
* Use RAII principles. | * Use RAII principles. | ||
** I.e. each object should manage | ** I.e. each object should manage its own memory rather than the caller having to manage it. | ||
** You should never use `malloc` and `free` unless interfacing with C libraries. | ** You should never use `malloc` and `free` unless interfacing with C libraries. | ||
* Avoid the use of new and delete, instead using vector or smart pointers. | * Avoid the use of new and delete, instead using vector or smart pointers. | ||
Latest revision as of 01:20, 23 November 2025
C++ is a very popular and powerful language which includes all the low-level features of C (e.g. pointers, operator overloading) along with many high-level features (RAII, STD algorithms, STL containers) thanks to the C++ standard library.
Usage
How to do things using the C++ standard library (stdlib).
Compilation
cmake
g++
g++ my_driver.cpp [-Iincludefolder] -o my_program.out
Standard optimizations
-std=c++17for C++17 support-O3for level 3 optimizations-gto include debugging info-march=native- use all instructions available on the current CPU-mtune=native- optimize for the current CPU
Syntax
Main
All C++ programs launch in a main function.
Similar to C, the arguments are int argc and char *argv[].
These can be easily converted to a std::vector<std::string> for convenience.
#include <string>
#include <vector>
int main(int argc, char *argv[]) {
std::vector<std::string> args(argv, argv + argc);
// Your code here
return EXIT_SUCCESS;
}
Headers
C++ includes C-headers such as math.h and cmath.
The C-style header will place everything in the global namespace while the C++ header will place everything in std.
You should use cmath.
Lambda Expressions
Casting
C++ has several types of casts including:
static_cast- your standard cast with conversion. Does not perform any checks.dynamic_cast- for casting objects with checking, requires a polymorphic base class (with a virtual function). Will return nullptr.reinterpret_cast- cast without any conversion, for directly dealing with binary data, equivalent to*(T*)in C.
References
References are accepted or stored using &.
For example:
void healPerson(Person &person) {
person.health = 100;
}
References are like pointers since they do not copy the object except they cannot be null and they cannot be reassigned.
Note that primitives can also be used with references, in which case changes will propagate to the underlying value.
You can also use them as class attributes, initializing them in the constructor's initializer list.
To store references in a vector, you can use std::reference_wrapper and include the functional header.
Types
For simple programs, you can use the standard types:
int,unsigned int,long,size_tfloat,double
See SO for the standard and guaranteed precision of these built-in types.
C++ also has fixed-width types in #include <cstdint> (since C++11).
cppreference cstdint
I recommend using these for anything with specific or high precision requirements.
Typically, I use:
uint8_tinstead ofcharorstd::byte.int64_tinstead oflong long
String
#include <string>
If you don't need to own the string, prefer to use string_view.
// c-str to string
char *old_string = "my c-style string";
std::string cpp_string(old_string);
// string to c-str
cpp_string.c_str();
// char to string
char my_char = 'a';
std::string my_str(1, my_char);
String Interpolation
#include <iostream>
#include <sstream>
#include <string>
int main() {
std::string a = "a", b = "b", c = "c";
// apply formatting
std::stringstream s;
s << a << " " << b << " > " << c;
// assign to std::string
std::string str = s.str();
std::cout << str << "\n";
}
Building Strings
The Complete Guide to Building Strings In C++
There are multiple ways of buildings strings in C++.
Strings are mutable in C++.
I typically use + or ostringstream to build strings.
std::basic_string_view
This is useful for writing functions which accept anything that looks like a string such as substrings, since typically std::string::substr performs a copy.
Note that std::string_view is std::basic_string_view<char>.
Filesystem
#include <filesystem>
Convenient functions for filesystem. Added since C++17.
Path
Note if you use g++ <= version 9, you will need to add the flag -lstdc++fs.
using std::filesystem::path;
// Initialization
path my_path = "my_dir/my_file";
// or my_path = path("my_dir") / "my_file";
// Append to path
path("foo") / "bar"; // path("foo/bar")
path("foo") / "/bar"; // path("/bar")
// Print
std::cout << my_path << std::endl; // prints "my_dir/my_file" with quotes
std::cout << my_path.string() << std::endl; // prints my_dir/my_file without quotes
- Notes
pathsupports implicit conversion tostring
Directories
- Notes
create_directoryrequires that the parent directory already exists- If not, use
create_directoriesinstead
- If not, use
Fstream
#include <fstream>
Used for input/output of files
Reading and Writing
Reading and writing is done using fstream.
If you don't need r/w, use istream for reading or ostream for writing.
#include <iostream>
#include <fstream>
#include <string>
int main() {
std::ifstream my_file("my_file.txt");
std::string line;
// Read line by line
// You can also read using <<
while (getline(my_file, line)) {
std::cout << line << std::endl;
}
return 0;
}
Reading a whole file
Reference and comparison of different methods
#include <cerrno>
#include <fstream>
#include <string>
#include <string_view>
#include <iostream>
#include <stdexcept>
#include <cstring> // for strerror
std::string get_file_contents(std::string_view filename) {
std::ifstream in(filename.data(), std::ios::in | std::ios::binary);
if (in.good()) {
std::string contents;
in.seekg(0, std::ios::end);
contents.resize(static_cast<unsigned int>(in.tellg()));
in.seekg(0, std::ios::beg);
in.read(&contents[0], contents.size());
return contents;
}
std::cerr << "Failed to open file: " << filename << std::endl;
throw std::runtime_error(std::strerror(errno));
}
Regular Expressions
#include <regex>
Thread
#include <thread>
std::thread reference
Basic Usage:
std::thread my_thread(thread_function);
// Calling methods
// You can also pass in parameters as usual
std::thread my_thread(&Class::method, this);
// Lambda functions
std::thread my_thread([&]() {
// do something
});
// Wait for thread to finish
my_thread.join();
// get id of thread
std::thread::id my_id = my_thread.get_id();
// get id of this thread
std::thread::id my_id = std::this_thread::get_id();
Sleep
std::this_thread::sleep_for(std::chrono::milliseconds(1));
Parallel For
Memory
#include <memory>
Smart Pointers
Smart Pointers
Smart pointers were added in C++11.
There are 3 types of smart pointers:
std::unique_ptr- one piece of code owns the memory at any given time.std::shared_ptr- the memory has multiple owners.std::weak_ptr- a non-owning reference to a shared_ptr.
In general, there should be one object owning an object using a unique_ptr. Whenever you pass the value around, other functions should receive the object as a reference making it clear that they do not have ownership of the object. Smart pointers are nullable and assignable similar to regular pointers.
Prefer to use make_unique or make_shared which will only make one memory allocation for both the object and the pointer rather than two memory allocations.
You can call my_ptr.reset(new Car()) to change the pointer or my_ptr.reset() to deallocate the object referenced by the pointer.
Example:
// Block-scope car
Car my_car;
// Old C++
// Must call delete my_car; to avoid memory leaks.
Car *my_car = new Car();
// Using unique ptr
std::unique_ptr<Car> my_car(new Car());
// Or starting from C++14
auto my_car = std::make_unique<Car>();
- Notes
- If the object you need is not very large, you can consider just including it as part of your class (or leaving it on the stack) rather than use pointers.
- If you want to get a copy of the smart pointer to the current object, the object must publicly inherit
std::enable_shared_from_this<T>- Then you can call
shared_from_this()from within any method (not the constructor). - May throw
bad_weak_ptrif you callshared_from_this()withoutmake_sharedor if you do not publicly inheritstd::enable_shared_from_this<T>
- Then you can call
- When writing functions when do not operate on pointers and do not claim ownership of objects, you should just take a reference to the object as the argument.
std::auto_ptrwas a predecessor tostd::unique_ptrwhich allowed copies. It shouldn't be used anymore.
Garbage Collection
Starting from C++11, you should use smart pointers such as shared_ptr which have automatic garbage collection.
Traditional C++ does not have garbage collection.
After using new to allocate an object, use delete to deallocate it.
You can also use C allocation with malloc, calloc, alloca, and free, though it is not recommended since these are not type-safe.
Custom Deleter
Custom Deleters
When using smart pointers, the default deleter is the delete function but you can also specify your own deleter.
# Using a functor
struct AVFrameDeleter {
void operator()(AVFrame *p) { av_frame_free(&p); }
};
std::unique_ptr<AVFrame, AVFrameDeleter> rgb_frame(av_frame_alloc());
# Using free
std::unique_ptr<void, decltype(&std::free)> my_buffer(std::malloc(10), std::free);
Deallocate
Normally, containers such as std::vector will automatically deallocate memory from the heap when the destructor is called. However, occasionally you may want to coerce this deallocation yourself.
There are a few ways to do this:
- Use smart pointers
- Swap
- Call a clear/shrink/deallocate function
Example Reference:
// Using smart pointers
std::unique_ptr<std::vector<float>> my_vector = make_unique<std::vector<float>>(99);
my_vector.reset();
// Swap
std::vector<float> my_vector(99);
my_vector = std::vector<float>();
// Or alternatively
// std::vector<float>().swap(my_vector);
// std::swap(my_vector, std::vector<float>());
// Swap for cl::Buffer
cl::Buffer my_buf(context, CL_MEM_READ_WRITE, size);
my_buf = cl::Buffer();
// Clear and shrink
// Specific to std::vector
std::vector<float> my_vector(99);
my_vector.clear();
my_vector.shrink_to_fit();
Limits
#include <limits>
Reference
C++ has standard macros such as INT_MAX.
The limits header adds these limits for every type.
// Equivalent to FLT_MAX
std::numeric_limits<float>::max();
Utility
#include <utility>
std::move
Ref
Use std::move to move containers.
Algorithm
std::find
std::generate
cppreference
Allows you to fill a container using a function call
#include <random>
#include <iostream>
#include <algorithm>
#include <vector>
int main()
{
std::random_device rd;
std::mt19937 gen(rd());
// Fill with integers in [0, 10]
std::uniform_int_distribution<> dis(0, 10);
std::vector<int> my_vec(10, 0);
std::generate(my_vec.begin(), my_vec.end(), [&](){return dis(gen);});
<br />
for (int v : my_vec) {
std::cout << v << " ";
}
std::cout << std::endl;
return 0;
}
Numeric
#include <numeric>
std::iota
Reference
Fills an array or vector with increasing values. Can pass in a starting number.
std::vector<int> v(60);
std::iota(v.begin(), v.end(), 0);
std::accumulate
Adds up numbers. Can pass in a starting number.
std::vector<int> v(60);
std::iota(v.begin(), v.end(), 0);
std::accumulate(v.begin(), v.end(), 0);
Chrono
#include <chrono>
I now prefer using absl::Time and absl::Duration over Chrono because they abstract away the underlying type.
auto start = std::chrono::high_resolution_clock::now();
// do something
auto end = std::chrono::high_resolution_clock::now();
std::cout << "Time elapsed: "
<< std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count()
<< " ms" << std::endl;
Execution
#include <execution>
The execution header gives you tools for parallel execution (since C++17).
See execution_policy_tag.
C++17 Parallel Algorithms blog.
Nvidia Accelerating Standard C++ with GPUs Using stdpar
- Parallel Sorting Example
std::sort(std::execution::par_unseq, sorted.begin(), sorted.end());
std::execution::seqsequentialstd::execution::unseqvectorized only (C++20)std::execution::parparallelstd::execution::par_unseqparallel and vectorized
Random
#include <random>
cppreference.com
std::random_device rd; //Will be used to obtain a seed for the random number engine
std::mt19937 gen(rd()); //Standard mersenne_twister_engine seeded with rd()
std::uniform_int_distribution<> dis(1, 6);
for (int n=0; n<10; ++n)
//Use dis to transform the random unsigned int generated by gen into an int in [1, 6]
std::cout << dis(gen) << ' ';
std::cout << '\n';
const
For variables:
- Use
constexprfor values initialized at compile time and won't change at runtime. Most of the time, this is what you want for hardcoded compile time parameters. - Use
constfor values initialized at runtime and won't change. - Use
constinitfor values initialized at compile time and may change at runtime. I haven't found a use case for this yet.
For functions:
- Add
constto the end of a method declaration if it won't change the object. - Add
constexprif the function can be evaluated at compile time, i.e. can accepts and outputconstexprvariables. - Add
constevalif you want to force the function to only be evaluated at compile time.
STL
STL is the Standard Template Library originally implemented in 1994 by Stepanov and Lee from HP.
STL consists of a general set of algorithms, containers, functions, and iterators.
Today, STL refers to those containers and algorithms which are now built into the standard library (std) of C++.
Simple Containers
std::pair
Sequences
std::array
#include <array>
This wrapper around C-style arrays gives us size information and allows the array to be passed around by reference while keeping the array on the stack or in a struct.
Unless you need stack allocation or allocation into a struct, you should probably use a vector.
std::vector
#include <vector>
https://en.cppreference.com/w/cpp/container/vector
This is a dynamically-allocated resizable array, known as an ArrayList in Java.
// Basics
std::vector<int> my_vec;
// Vector with size 5
std::vector<int> my_vec(5);
// Vector with size 5 initialized to 1
std::vector<int> my_vec(5, 1);
// Length of vector
my_vec.size();
// Equivalent to size()==0
my_vec.empty();
// Equivalent to my_vec[0];
// Undefined on empty vectors
my_vec.front();
// Equivalent to my_vec[my_vec.size()-1];
// Undefined on empty vectors
my_vec.back();
Note that vector<bool> is a special case of bit-packed booleans instead of an array of bools. You should use vector<char> instead if your code relies on it being contiguous.
std::span
#include <span>
https://en.cppreference.com/w/cpp/container/span
This is view of some contiguous amount of memory. If the size is static, this is equivalent to a single pointer, otherwise is it equivalent to two pointers (i.e. begin and end).
If you use this as the parameter to your function, it will accept both arrays and vectors.
Additionaly, there is a subspan function so you don't need to pass around indices or pointers to get subvectors.
std::deque
Double-ended queue
std::list
This is a doubly linked list. You can delete elements from the middle of the list if you have an iterator.
std::list<int> m_list;
// Insert requires an iterator position
std::list<int>::iterator m_it = m_list.insert(m_list.begin(), 5);
// Remove the element
m_list.erase(m_it);
Container adaptors
std::queue
std::queue<int> my_queue;
my_queue.push(a);
auto val = my_queue.front();
my_queue.pop(); // returns void
std::stack
std::stack<char> my_stack;
// Push to stack
// You can also use emplace
// Returns void
my_stack.push('a');
// Peek
// Always make sure stack is not empty
char top = my_stack.top();
// Pop
// Note: returns void
// Always make sure stack is not empty
my_stack.pop();
std::priority_queue
This is a min/max heap.
Associative Containers
Also known as maps or associative arrays.
std::set
reference
#include<set>
This is a binary tree (likely red-black tree). You can assume \(\displaystyle O(\log n)\) operations.
std::map
reference
#include<map>
This is a binary tree (likely red-black tree). You can assume \(\displaystyle O(\log n)\) operations.
std::unordered_set
reference
#include <unordered_set>
This is a hashset. You can assume operations are \(\displaystyle O(1)\) on average and \(\displaystyle O(N)\) worst case.
std::unordered_set<int> my_set;
// Add
my_set.insert(5);
// Check contains
my_set.find(5) != my_set.end(); // Before C++20
my_set.contains(5); // C++20
// Remove
my_set.erase(5);
std::unordered_map
reference
#include<unordered_map>
This is a hashmap. You can assume operations are \(\displaystyle O(1)\) on average and \(\displaystyle O(N)\) worst case.
std::unordered_map<int, std::string> my_map;
my_map[5] = "hey"; // Fine as long as value type is default-constructible
my_map.insert({5, "hey"});
my_map.find(5) != my_map.end();
my_map.contains(5); // C++20
- Custom Keys
How to use a rational number as a key in C++
struct Fraction
{
int num;
int den;
bool operator==(const Fraction &other) const {
return num*other.den == den * other.num;
}
Fraction(int a, int b) : num(a), den(b) {}
};
Functional Programming
https://medium.com/swlh/doing-it-the-functional-way-in-c-5c392bbdd46a
Many of these can be parallelized with execution policies such as std::execution::par and std::execution::par_unseq. Paired with AdaptiveCPP, some operations can be automatically GPU accelerated as well.
Most of these require C++20.
Map
std::for_eachstd::transformstd::copy,std::copy_ifstd::fill
Reduce/Fold
std::reducestd::accumulatestd::ranges::fold_left(C++23)
Filter
std::copy_ifstd::remove_ifstd::find_if
Programming Styles
Modern C++
- Use RAII principles.
- I.e. each object should manage its own memory rather than the caller having to manage it.
- You should never use `malloc` and `free` unless interfacing with C libraries.
- Avoid the use of new and delete, instead using vector or smart pointers.
- Use clang-format.
- Resources
- CppCoreGuidelines
- Google C++ Style Guide - note that some people dislike this since it is focused on interoperability and suggests avoiding exceptions.
RAII
cppreference raii
cppreference rule_of_three
Resource Acquisition Is Initialization - binds the life cycle of a resource to the lifetime of an object.
For instance, the resource for a vector is an allocated amount of memory. Once the vector is destroyed and the destructor called, the resource is released.
If you need any from one of the rules, you need to implement the remainder
- Rule of zero
Do not use a custom deconstructor, copy constructor, or copy assignment. Push all of these operations into the classes of member variables such as std::vector and unique_ptr. This is the best and simplest case.
- Destructor
- Copy constructor
- Copy assignment operator
- All from rule of three plus:
- Move constructor
- Move operator
- Rule of four and a half
- Destructor
- Copy constructor
- Copy-and-swap assignment operator
- Swap function
Copied from stack overflow
#include <algorithm> // std::copy
#include <cstddef> // std::size_t
class dumb_array
{
public:
// (default) constructor
dumb_array(std::size_t size = 0)
: mSize(size),
mArray(mSize ? new int[mSize]() : nullptr)
{
}
// copy-constructor
dumb_array(const dumb_array& other)
: mSize(other.mSize),
mArray(mSize ? new int[mSize] : nullptr)
{
// note that this is non-throwing, because of the data
// types being used; more attention to detail with regards
// to exceptions must be given in a more general case, however
std::copy(other.mArray, other.mArray + mSize, mArray);
}
// destructor
~dumb_array()
{
delete [] mArray;
}
// assignment operator
dumb_array& operator=(dumb_array other) // (1)
{
swap(*this, other); // (2)
return *this;
}
// swap
friend void swap(dumb_array& first, dumb_array& second) // nothrow
{
// enable ADL (not necessary in our case, but good practice)
using std::swap;
// by swapping the members of two objects,
// the two objects are effectively swapped
swap(first.mSize, second.mSize);
swap(first.mArray, second.mArray);
}
private:
std::size_t mSize;
int* mArray;
};
Useful Libraries
A list of useful libraries
Boost
A set of popular C++ libraries. Most are header-only.
cxxopts
Link
A header-only C++ argument parser.
Note that if you already use Boost, you can use Boost::Program_options instead.
Eigen
A header-only C++ linear algebra library.
absl
https://github.com/abseil/abseil-cpp is a library used by Google which supplements the standard library.
Useful things:
absl::Timeandabsl::Duration.- absl strings
- absl logging
Many parts of absl now have std:: equivalents such as std::unique_ptr, std::string_view, std::span. Unless contributing to Google codebases, you should probably prefer those.
At Google, they prefer absl hash containers over unordered_set and unordered_map:
absl::flat_hash_map