上個月，在CppCon2022上Herb Sutter介紹了他的一個處于實驗中的新編譯器：CppFront。

他通過該編譯器來實踐一種潛在的C++替換語法，簡稱為Cpp2，C++當(dāng)前語法則稱為Cpp1。Herb從2015年就著手設(shè)計該項目，如今推了出來，一時激起不小浪花，項目地址為https://github.com/hsutter/cppfront。官方描述如下：

Cppfront is a experimental compiler from a potential C++ 'syntax 2' (Cpp2) to today's 'syntax 1' (Cpp1), to learn some things, prove out some concepts, and share some ideas. This compiler is a work in progress and currently hilariously incomplete… basic functions work, classes will be next, then metaclasses and lightweight exceptions.

C++這是在自我破局，開辟第二曲線?。?/span>標(biāo)準(zhǔn)是想再次實現(xiàn)C++11那種巨大的成功，使C++再次煥然一新，更加現(xiàn)代、簡單、高效。（雖然Herb說這個項目只代表個人的實踐，但是好的點子標(biāo)準(zhǔn)也不會放過，而且是實踐可行的點子）其實近幾年C++的發(fā)展速度真不慢，許多特性遲久未入，只是不想剛引入就遭淘汰。當(dāng)你再次見到C++更新時，很可能又會是像見到了一個新語言一樣，語法完全變化，近幾次的標(biāo)準(zhǔn)已有這個趨勢。下面我將提供一些Cpp2的例子，這些例子都是可以使用CppFront手動編譯運行的，大家可以看看它的語法。Cpp2的目標(biāo)可以概括為兩個詞：安全和簡潔，語法也以此為導(dǎo)向。先來看一個最簡單的例子：

main:()->int={ s:std::string="world"; std::cout<"Hello"<" "; }這就是使用純Cpp2編寫的代碼，所有的聲明都由原來的r-to-l變?yōu)榱薼-to-r。其實從trailing-return-type開始，C++已經(jīng)慢慢變成了這種l-to-r形式的語言。可以混合使用Cpp1和Cpp2的語法，但是對于純Cpp2語法，它可以隱式地引入C++ 23的"import std"模塊，因此無需手動添加任何頭文件。接著來看一個文件讀寫的例子：

main:()->int={ s:std::string="Lily"; myfile:=fopen("dog","w"); myfile.fprintf("Hello%s! ",s.c_str()); myfile.fclose(); }這個代碼的確簡單不少，而且fprintf(), fclose()是作為成員函數(shù)存在的，這意味著可以觸發(fā)IDE的智能提示，提升開發(fā)效率。下面是一個類型安全的例子：

main:()->int={ v:std::variant<int,double>=42.0; a:std::any="xyzzy"asstd::string; o:std::optional<int>=(); test_generic(3.14); test_generic(v); test_generic(a); test_generic(o); std::cout<" "; v=1; a=2; o=3; test_generic(42); test_generic(v); test_generic(a); test_generic(o); } test_generic:(x:_)={ std::cout <std::setw(30)<typeid(x).name() <"valueis" <std::string{ isint=std::to_string(xasint); isstd::string=xasstd::string; is_="notanintorastring"; } <" "; }Cpp2中函數(shù)不需要前置聲明，它具有順序無關(guān)性（其實是生成代碼的時候自動提供前置聲明了）。其中的"_"是隱式模板的通配符，相當(dāng)于T，而inspect is as等等這些都是Pattern Matching的語法。在CppFront中，typeid().name()返回的類型名稱是可讀的，因此最終輸出如下圖。對于指針，許多運算符都被禁止了，看如下例子：

main:()->int={ words:std::vector<std::string>= ("decorated","hello","world"); first:*std::string=words.front()&; last:*std::string=words.back()&; whilefirst<=?last?{ ????????print_and_decorate(first*); ????????first++;?//unsafe //first+1; //first[1]; //first~; //deletefirst; } } print_and_decorate:(thing:_)= std::cout<">>"<" ";當(dāng)試圖對指針使用這些操作時，將產(chǎn)生編譯期錯誤。上述代碼將報錯：

error:++-pointerarithmeticisillegal-usestd::spanorgsl::spaninstead它會推薦你使用更好的替代特性，有些特性甚至內(nèi)置為了原生特性，比如智能指針，它會推薦你使用unique.new, shared.new來管理指針的生命周期。為了防止越界訪問，Cpp2支持邊界安全。比如：

main:()->int={ cpp2::Bounds.set_handler(call_my_framework); words:std::vector<std::string>= ("decorated","hello","world"); s:std::span=words; print_and_decorate(s[3]); } print_and_decorate:(thing:_)= std::cout<">>"<" "; call_my_frameword:(msg:*constchar)= std::cout <"sendingerrortomyframework...[" <"] ";代碼中訪問s[3]越界，編譯時指定-s標(biāo)志，便可以幫你開啟邊界檢查，運行之時進行報錯。此外，還可以通過第2行的代碼設(shè)置一個handler，來捕獲錯誤。只有一個表達式的函數(shù)，"{}"將作為可選項，省略掉要更加簡潔。 此外，Cpp2也支持初始化安全，對此，指針不可賦值為nullptr/0/NULL。看一個例子：

main:()->int={ cpp2::Bounds.set_handler(call_my_framework); p:*std::string; ifstd::rand()%2{ p=words.front()&; } //else{ //p=words.back()&; //} print_and_decorate(p*); } print_and_decorate:(thing:_)= std::cout<">>"<" ";例子中，p是一個指針，但是賦值語句沒有遍及各個分支，訪問之時肯定會存在錯誤。因此它會直接產(chǎn)生編譯期錯誤：

example.cpp2(4,5):error:localvariablepmustbeinitializedonbothbranchesorneitherbranch example.cpp2(6,5):error:"if"initializespon: branchstartingatline6 butnoton: implicitelsebranch ==>programviolatesinitializationsafetyguarantee-seepreviouserrors這個特性可以保證變量在使用前初始化。最后，還有一個有意思的特性用于函數(shù)多返回值，一個簡單的例子：

f:()->(i:int,s:std::string)={ i=10; s="haha"; return; } automain()->int{ auto[a,b]=f(); std::cout<""<" "; }這個代碼混合了Cpp1和Cpp2。函數(shù)f()具有多個返回值，可以不用借用std::paire與std::tuple等等組件。實際上，它會自動生成一個結(jié)構(gòu)體，作為函數(shù)的返回值。該例子生成的為：

structf__ret{ inti; std::strings; };這些例子都來自Herb的演講內(nèi)容，他說Cpp2會比原來的C++語法簡單和安全10倍，想看的地址為：https://www.youtube.com/watch?v=ELeZAKCN4tY。Cpp2一直只是Herb個人的一個實驗性產(chǎn)品，項目必然存在很多缺陷，但正是這些不斷的探索，為C++提供了更多可能。 大家覺得目前的Cpp2設(shè)計怎樣呢？有沒有哪些不錯的點子？

審核編輯 ：李倩