正确答案是：C: 2

### 专业分析

在大多编程语言中，变量名的命名规则通常有以下几点：

1. **首字符限制**：
- 变量名的第一个字符必须是一个字母（无论大写或小写）或下划线（_）。
- 数字不能作为变量名的首字符。

2. **后续字符**：
- 除了第一个字符之外，后续字符可以是字母、下划线或数字。

3. **区分大小写**：
- 许多编程语言（如C、C++、Java、Python等）区分大小写，这意味着 `a` 和 `A` 是不同的变量名。

考虑到这些规则：

- A: S —— 可以是首字符，因为它是一个字母。
- B: 下划线 —— 可以是首字符，因为下划线是允许的。
- C: 2 —— 不能是首字符，因为数字不能作为变量名的第一个字符。
- D: a —— 可以是首字符，因为它是一个字母。

因此，选项 C: 2 不符合变量名首字符的规定。