各种阴间坑

Posted 2021-05-26 XDU18清欢

UB摧毁一切定义

运算中的各种阴间溢出导致的UB

模板类中静态成员引发的全局变量构造顺序问题

...挺阴间的

#include <bits/stdc++.h>
using namespace std;
using ll = long long int;

template<typename T>
struct wapper
  {
  	static set<T> val;
  	using type = T;
  	T value;
  	wapper()
  	  {
  	  	val.insert(value = mex());
		}
  	operator T ()
  	  {
  	  	return value;
		}
	ll mex()
	  {
	  	for (T i = 0;;i++)
	  	  if (val.count(i) == 0)
	  	    return i;
	  	return -1;
	  }
  };

template<typename T> 
set<T> wapper<T>::val = set<T>();
wapper<ll> a;
int main()
  {
	return 0;
  }

wapper a;的初始化顺序在模板静态变量的前面...操作没初始化的set直接re
解决方案1 ：大力偏特化

template<> 
set<ll> wapper<ll>::val = set<ll>();
wapper<ll> a;

解决方案2 ：大佬的做法（不太懂...慢慢理解

塞静态函数里面

作为静态函数的静态变量存在

以避开顺序问题

多线程 有可能的话 可以使用 thread_local

搜了一下...全局变量初始化这块有一些阴间东西...特别是不能依赖多个头文件的全局变量的初始化顺序...
再加上特殊的模板静态变量...qs非常阴间