[C++]Advanced Features Notes

keywords: C++, Advanced Features Notes, Tutorials

Fragments

constexpr vector and string in C++20 and One Big Limitation
https://www.cppstories.com/2021/constexpr-vecstr-cpp20/

Polymorphic Allocator

std::pmr::polymorphic_allocator
https://en.cppreference.com/w/cpp/memory/polymorphic_allocator

polymorphic_allocator: when and why should I use it?
https://stackoverflow.com/questions/38010544/polymorphic-allocator-when-and-why-should-i-use-it

Polymorphic Allocators, std::vector Growth and Hacking
https://www.bfilipek.com/2020/06/pmr-hacking.html

Call Stack

print call stack in C or C++
https://stackoverflow.com/a/54365144/1645289

Comment

pragma region example:

// pragma_directives_region.cpp
#pragma region Region_1
void Test() {}
void Test2() {}
void Test3() {}
#pragma endregion Region_1

int main() {}

Platform

Endianness (Byte Order)

Let’s say your data stream has a little-endian-encoded 32-bit integer. Here’s how to extract it (assuming unsigned bytes):

i = (data[0]<<0) | (data[1]<<8) | (data[2]<<16) | (data[3]<<24);

If it’s big-endian, here’s how to extract it:

i = (data[3]<<0) | (data[2]<<8) | (data[1]<<16) | (data[0]<<24);

Origin:
How do I convert between big-endian and little-endian values in C++?
https://stackoverflow.com/a/10346064/1645289

Performance

Move Semantics

What is move semantics?
https://stackoverflow.com/questions/3106110/what-is-move-semantics
Difference between copy constructor and move constructor
https://stackoverflow.com/a/3106136/1645289

Exception

There is a cost associated with exception handling on some platforms and with some compilers.

Namely, Visual Studio, when building a 32-bit target, will register a handler in every function that has local variables with non-trivial destructor. Basically, it sets up a try/finally handler.

The other technique, employed by gcc and Visual Studio targeting 64-bits, only incurs overhead when an exception is thrown (the technique involves traversing the call stack and table lookup). In cases where exceptions are rarely thrown, this can actually lead to a more efficient code, as error codes don’t have to be processed.

Quoted from:
In what ways do C++ exceptions slow down code when there are no exceptions thown?
https://stackoverflow.com/a/1897979/1645289

std::align (alignas & alignof)

Little C++ Standard Library Utility: std::align
https://lesleylai.info/en/std-align/

Compilation

How to use two libraries if they have same function in C

If you have .o files there, a good solution:

objcopy --prefix-symbols=pre_string test.o to rename the symbols in .o file

objcopy --redefine-sym old_str=new_str test.o to rename the specific symbol in .o file.

Origin:
https://stackoverflow.com/a/41375697/1645289

C

Memory

Why is the use of alloca() not considered good practice?
https://stackoverflow.com/questions/1018853/why-is-the-use-of-alloca-not-considered-good-practice

STL

new(std::nothrow)

std::nothrow
https://en.cppreference.com/w/cpp/memory/new/nothrow

lock_guard (RAII)

std::mutex m;
 
void bad() 
{
    m.lock();                    // acquire the mutex
    f();                         // if f() throws an exception, the mutex is never released
    if(!everything_ok()) return; // early return, the mutex is never released
    m.unlock();                  // if bad() reaches this statement, the mutex is released
}
 
void good()
{
    std::lock_guard<std::mutex> lk(m); // RAII class: mutex acquisition is initialization
    f();                               // if f() throws an exception, the mutex is released
    if(!everything_ok()) return;       // early return, the mutex is released
}

Origin:
https://en.cppreference.com/w/cpp/language/raii

Lambda

Memory leak

Lambda + shared_ptr<> = memory leak
https://floating.io/2017/07/lambda-shared_ptr-memory-leak/

this vs &

C++ lambda capture this vs capture by reference
https://stackoverflow.com/questions/33575563/c-lambda-capture-this-vs-capture-by-reference

= VS & (Value vs Reference)

Quick example

int x = 1;
auto valueLambda = [=]() 
{
    cout << x << endl;
};
auto refLambda = [&]() 
{
    cout << x << endl;
};
x = 13;
valueLambda();
refLambda();

Output:

1
13

Is there any difference betwen [=] and [&] in lambda functions?
https://stackoverflow.com/a/21105182/1645289

weak_ptr

Binding to a weak_ptr
https://stackoverflow.com/questions/11680680/binding-to-a-weak-ptr

Type support

offsetof

The macro offsetof expands to an integral constant expression of type std::size_t, the value of which is the offset, in bytes, from the beginning of an object of specified type to its specified subobject, including padding bits if any.

References:
Type support (basic types, RTTI)
https://en.cppreference.com/w/cpp/types

Reference

Blogs

Barry Revzin (Recommended)
https://brevzin.github.io/

Modernes C++
https://www.modernescpp.com/index.php/

Categories for the Working C++ Programmer
https://bartoszmilewski.com/2020/08/05/categories-for-the-working-c-programmer/amp/

<bit> in Visual Studio 2019 version 16.8 Preview 2
https://devblogs.microsoft.com/cppblog/bit-in-visual-studio-2019-version-16-8-preview-2/

Rank does not confer privilege or give power. It imposes responsibility. ― Peter Drucker