Blank[]
_
Blank
[h]_h
MatchQ[a + b, _]
Patterns of the form _
h can be used to test the types of objects:
MatchQ[42, _Integer]
MatchQ[1.0, _Integer]
{42, 1.0, x} /. {_Integer -> "integer", _Real -> "real"} // InputForm
Blank
only matches a single expression:
MatchQ[f[1, 2], f[_]]