Unter welchen Voraussetzungen darf ich annehmen, dass eingebaute Typen mit 0 initialisiert werden?

int v0; //hier?
void f()
{
	static int v1; //hier?
	int v2; //hier?
}
struct s
{
	int v3;
};
int main()
{
	s v4; //hier?
	int* v5 = new int; //hier?
	delete v5;
}
template<class T>
void g()
{
	T v6; //hier? (im Falle dass T == int)
}

Grundsätzlich werden lokale Variablen von skalaren oder POD-Typen nicht initialisiert. Bei Klassen hängt es davon ab, ob ein Defaultkonstruktor definiert ist, der eine allfällige Initialisierung vornimmt.

Ich hoffe, ich bin selber nicht durcheinander gekommen . Merkregel: Objekte mit statischer Lebensdauer werden zero-initialized. Lokale Objekte nicht. Wenn du value-initialized (mit leeren Klammern), so ist dies für POD-Typen eine Initialisierung mit 0.

P.S.:
http://en.cppreference.com/w/cpp/language/initialization
http://en.cppreference.com/w/cpp/language/zero_initialization
http://en.cppreference.com/w/cpp/language/value_initialization
http://stackoverflow.com/questions/3102096/when-do-c-pod-types-get-zero-initialized

edit: Zu langsam.

Der Default-Konstruktor eines POD's initialisiert zwar alle Built-In-Member mit 0

Nein, wieso sollte er?

§5.2.3/2 schrieb:

The expression T() [...] creates a prvalue of the specified type, whose value is that produced by value-initializing (8.5) an object of type T

§8.5/8 schrieb:

To value-initialize an object of type T means:
— if T is a [...] class type without a user-provided or deleted default constructor, then the object is zero-initialized [..]

§8.5/6 schrieb:

To zero-initialize an object or reference of type T means:
— if T is a [...] non-union class type, each non-static data member [...] is zero-initialized and padding is initialized to zero bits;

Danke allen für die Hilfe.

Ah, ich sehe in den Standard-Quotes, dass da das Verhalten vom generierten Default-Konstruktor ganz anders ist als das vom manuell geschriebenen Default-Konstruktor.

Würde ich so nicht sagen. Der compilergenerierte Defaultkonstruktor entspricht einem leeren, manuell definierten Defaultkonstruktor. Damit das Verhalten anders ist, musst du explizit Variablen initialisieren.