Tarihçe: C++20'den önce, C++ geliştiricileri metin formatlama için printf ailesi fonksiyonlarına veya iostreams kütüphanesine dayanıyorlardı. printf, mükemmel performans sunar ancak tür güvenliği sağlamaz, bu da format belirteçleri ile argüman türleri eşleşmediğinde tanımsız davranışlara yol açar. iostreams, operatör aşırı yükleme ile tür güvenliği sağlar ancak sanal fonksiyon çağrıları, yerel destek ve sözdizimsel gereksizlik nedeniyle önemli performans kayıpları yaşar.
Problem: Performans özelliklerini printf ile tür güvenliğini iostreams'in sunduğu bir formatlama tesisi tasarlamak zordu; format işlemi başına dinamik bellek tahsisi yapmadan veya küresel yerel durumlarına bağımlılık olmadan. Özel olarak, çözümün çalışma zamanı hatalarını önlemek için derleme zamanında format dizelerini argüman türlerine karşı doğrulaması gerekirken, dinamik formatlama gereksinimleri için çalışma zamanında belirtilen genişlikler ve hassasiyetler için destek sağlaması gerekiyordu.
Çözüm: C++20, std::format'ı tanıtmaktadır; bu, derleme sırasında format dizelerini ayrıştırmak ve doğrulamak için std::format_string (veya std::basic_format_string) içinde bir consteval yapıcı kullanır. Bir format dizesi literal olarak geçirildiğinde, derleyici bir std::format_string nesnesi oluşturur ve her değiştirme alanının format belirtecinin ilgili argüman türü ile eşleşip eşleşmediğini kontrol eder. Çalışma zamanındaki format dizeleri için, std::runtime_format (C++23) veya std::vformat derleme zamanı doğrulamasını atlar ve kontrolleri çalışma zamanına erteler; burada std::format_error istisnaları eşleşmezlikleri gösterir. Bu çift yaklaşım, literal dizeler için sıfır maliyetli soyutlamalar sağlarken dinamik durumlar için esneklik sunar.
#include <format> #include <string> #include <iostream> int main() { // Derleme zamanı doğrulama: eğer format dizesi argümanlarla eşleşmezse hata std::string s = std::format("Değer: {}. İsim: {}", 42, "Alice"); // Çalışma zamanı format dizesi (C++23) veya dinamik dizeler için std::vformat std::string runtime_fmt = "Dinamik: {}"; // std::format(std::runtime_format(runtime_fmt), 100); // C++23 std::cout << s << '\n'; }
Bağlam: Bir yüksek frekanslı ticaret firması, piyasa verileri zaman damgaları ve emir tanımlayıcıları için kullandıkları sprintf'i değiştirmek zorundaydı. Eski sistem, geliştiricilerin kazara 32-bit platformlarda %d belirteçlerine 64-bit tam sayılar geçmeleri durumunda, tampon taşmasını ve yığın bozulmasını tetikleyen aralıklı çöküşlerden muzdaripti. Mühendislik ekibi, sprintf'nin performansını korurken tanımsız davranışı ortadan kaldıracak bir çözüme ihtiyaç duyuyordu.
Çözüm 1: printf ile statik analiz uygulaması. Ekip, format dizesi uyumsuzluklarını derleme zamanında yakalamak için derleme hattını clang-tidy ve Printf-Check derleyici uzantıları ile güçlendirmeyi düşündü. Bu yaklaşım, mevcut düşük gecikme özelliklerini koruyarak minimum kod değişiklikleri ve sıfır çalışma zamanı maliyeti vaat ediyordu. Ancak, statik analiz araçları bazen format dizeleri dinamik olarak oluşturulduğunda veya birden fazla soyutlama katmanı ile geçirildiğinde yanlış negatifler ürettikten sonra kalan güvenlik boşlukları, hala üretim çökmelerine neden olabilirdi.
Çözüm 2: Özelleştirilmiş manipülatörler ile std::ostream'a geçiş. Geliştiriciler, tür güvenliğini garanti etmek ve kullanıcı tanımlı türleri operatör aşırı yüklemeleri ile desteklemek için sprintf'i std::ostringstream ile değiştirmeyi değerlendirdi. Bu yaklaşım tüm format dizesi güvenlik açıklarını ortadan kaldırmasına rağmen, profil sonuçları std::ostream yaklaşımının karakter çıkışı için sanal fonksiyon yönlendirmeleri ve sayısal dönüşüm için yerel faset aramaları nedeniyle kabul edilemez gecikme getirdiğini gösterdi. Performans düşüşü piyasa verileri günlükleme için mikro saniye altı gecikme gereksinimlerini ihlal etti ve bu yaklaşımı kritik yol için uygunsuz hale getirdi.
Çözüm 3: std::format (standartlaştırılmış fmt kütüphanesi) benimsenmesi. Ekip, derleme zamanı tür kontrolü sağlayan Python tarzı format söz dizimini sunan C++20'nin std::format'ına geçti. Uygulama, dinamik tahsisleri kritik yol boyunca ortadan kaldırmak için önceden tahsis edilmiş iş parçacığı yerel tamponlar ile std::format_to_n'ı kullandı; ayrıca derleme zamanındaki doğrulama, mevcut tüm format uyuşmazlıklarını derleme aşamasında yakaladı. Bu çözüm, sanal çağrıları ve yerel yüklenimlerini yalnızca 'L' belirteci ile açıkça talep edilmediği sürece önleyerek sprintf ile kıyaslanabilir performans sundu.
Seçilen çözüm ve gerekçesi: Ekip, std::format'ı seçti çünkü tüm kısıtlamaları karşılayan tek çözümdü: derleme zamanı güvenliği çöküşleri önledi, fmt kütüphanesi mirası, C tarzı formatlamalara kıyasla optimal kod üretimini sağladı ve standartlaştırma garantisi üçüncü taraf bağımlılık risklerini ortadan kaldırdı. Statik analizlerin aksine, yüzde 100 tür güvenliği sağladı ve iostreams'in aksine, katı gecikme bütçelerine ulaştı.
Sonuç: Geçiş, tüm format dizesi ile ilgili çökmeleri ortadan kaldırdı, iostreams uygulamalarına kıyasla günlükleme gecikmesini %60 azalttı ve düşük düzeyli bileşenlerden iostreams bağımlılığını kaldırarak ikili boyutunu düşürdü. Derleme zamanı kontrolleri, dağıtımdan sonraki ilk çeyrekte yaklaşık 30 format dizesi hatasının üretime ulaşmasını önledi, çalışma zamanı performansı ise yüksek frekanslı ticaret için gereken nano saniye ölçeğinde bütçe içinde kaldı.