NEW BOT Телеграм, страница

▶️ Всем привет, всем привет! ▶️

Непостоянная рубрика: Воскресный C++

🦊

Типизация и применение std::string_literals в современном C++

📕 Полноценная статья доступна для подписчиков Boosty и Patreon

using namespace std::string_literals; — это директива в C++, которая позволяет использовать суффикс s для создания объектов std::string напрямую из строковых литералов.

Эта возможность появилась в стандарте C++14.

В «классическом» C++ строковый литерал "Hello" имеет тип const char* — C-style массив символов, а не std::string

➡️

#include <string>

int main()
{
    auto str1 = "Hello"; // Тип: const char*
 
    using namespace std::string_literals;
    auto str2 = "Hello"s; // Тип: std::string
    return EXIT_SUCCESS;
}

⁉️

ЗАЧЕМ ЭТО НУЖНО

⁉️

1️⃣

КОНКАТЕНАЦИЯ СТРОК

Без string_literals нельзя просто взять и сложить два const char*

➡️

std::string result = "Hello" + ", world";

// ОШИБКА компиляции!
// компилятор выдаст что-то такое ->
// error: invalid operands to binary expression

💡

Почему? Потому что в C++ нельзя складывать два указателя (адреса памяти). Это не имеет математического смысла. Указатели можно вычитать в контексте одного массива, но не складывать.

А вот с суффиксом s это работает, так как вызывается перегруженный operator+ для класса string

➡️

#include <print>
#include <string>

int main() 
{
    using namespace std::string_literals;

    auto result = "Hello"s + ", world"s;
    std::println("{}", result); 

    return EXIT_SUCCESS;
}

2️⃣

ПЕРЕГРУЗКА ФУНКЦИЙ (Вот тут бывает больно!)

Что будет выведено в консоль? ➡️

#include <print>
#include <string>

void process(bool param)
{
    std::println("bool");
}

void process(const std::string& str)
{
    std::println("string");
}

int main() 
{
    using namespace std::string_literals;

    process("hello"); // ?
    process("hello"s); // ?

    return EXIT_SUCCESS;
}

Ответ может удивить:

😂

process("hello") выведет bool

😉

process("hello"s) выведет string

Почему так? У компилятора есть два пути➡️

1️⃣От const char* к std::string через конструктор класса — это User-defined conversion.

2️⃣ От указателя к bool (любой не null указатель = true) — это Standard conversion.

🔗

Пример в Compiler Explorer

В C++ стандартные преобразования имеют приоритет. Поэтому строка молча превращается в true, и вы попадаете не в ту функцию — суффикс s решает эту проблему.

💡

В продакшн коде таких семантически далёких перегрузок лучше избегать. Но на реальных сигнатурах с дефолтами и несколькими параметрами такое легко пропустить. Поэтому это еще один из способов отстрелить себе ногу в С++

📕 Больше информации, ньюансов и примеров со ссылками на Compiler Explorer в полноценной статье на Boosty и Patreon

🔤

⏺

🔤

🤝

Поддержать:
Patreon | Boosty | PayPal

⏫

Please open Telegram to view this post