C++ 有哪些鮮為人知的奇特操作？

C++一直是公認比較難以精通的語言，那它有哪些讓人覺得「哇靠，還可以這樣！」的奇特操作呢？

stateful meta-programming 算一個。

這功能還沒死，甚至沒有deprecated，也是驚人。

別用。

void foo(int a, int b, int c = -1) {
std::cout &<&< "foo(" &<&< a &<&< ", " &<&< b &<&< ", " &<&< c &<&< ") "; } int main() { foo(1, 2); // output: foo(1, 2, -1) // error: does not use default from surrounding scope //void foo(int a, int b = 0, int c); void foo(int a, int b, int c = 30); foo(1, 2); // output: foo(1, 2, 30) // error: we cannot redefine the argument in the same scope // void foo(int a, int b, int c = 35); // has a default argument for c from a previous declaration void foo(int a, int b = 20, int c); foo(1); // output: foo(1, 20, 30) void foo(int a = 10, int b, int c); foo(); // output: foo(10, 20, 30) { // in inner scopes we can completely redefine them void foo(int a, int b = 4, int c = 8); foo(2); // output: foo(2, 4, 8) } return 0; }

• 函數和變數的聲明寫法可以統一。函數的「變數」類型，就是函數自身的類型。它不是函數指針。在元編程中處理成員指針時，以及hooking時有奇效。

class Foo
{
using func_t = void(int x, float y);
func_t myFunc;//函數
func_t* anotherFunc;//函數指針指向另一個函數
};

void Foo::myFunc(int x, float y){}


其他的想到了再添加...

前幾周跟個Google的同學聊天，碰到這個我覺得最騷的：

如何在對象初始化之前（構造函數執行之前）做一些騷操作（類似的問題：C++ - Run a function before initializing a class member）？好像是他們的測試框架裡面的代碼要這麼做，初始化一個const成員，但是初始化之前的賦值要調用一個什麼函數做一些類似notify的操作。

我當時能夠想到的方法是搞個基……類，然後在其構造函數裡面搞。但是這樣的方法顯然太髒了，還要專門引入一個類。然後他說他上網查了可以用逗號表達式，我當時震驚了，原來這TM也可以，先前沒想到這樣去用逗號表達式。

a = (5, 6, 7);
cout &<&< a &<&< endl;

輸出是7，因為逗號表達式從左往右執行，取最右值返回。

而且逗號表達式的操作符不一定是const，也可以是函數什麼的，所以只需要在初始化列表裡面搞個逗號表達式，把要執行的函數丟在左邊就好了。

最近跟人討論，有人很鄙視這種技巧，說是什麼know-how、炫技、不是正道……呃，在工程里你要達到一個目標，這些技巧雖然非常少見，也不提倡使用，但是如果它是解決問題的最優方法，那能不用么？難道非得為了用「正統」寫法把程序重構一遍么？那是作死啊。

通過檢查類型是否具有指向成員的指針來判斷一個類型是不是類類型...

struct True{
char x;
};
struct False{
char x[2];
};
template&
struct IsClass{
template& static True isClass(int C::*){return True{};}
template& static False isClass(...){return False{};}
enum{RESULT=sizeof(IsClass&::isClass&(0))==sizeof(True)};
};
int main()
{
if(IsClass&::RESULT){
cout&<&<"yes"&<&