编写一个C#程序，实现一个支持通配符匹配的正则表达式解析器，支持以下规则：

- 输入字符串由大小写英文字母、数字和下划线组成。
- 模式字符串支持以下符号：
- `?` 匹配任意单个字符。
- `*` 匹配任意一串字符（包括空串）。
- `\` 转义字符，使特殊字符失去特殊意义（例如 `\?` 应该匹配字面量 `?`）。
- `()` 分组功能，例如 `(ab)*` 应该匹配 `abab`。
- `|` 表示逻辑或，例如 `a|b` 匹配 `a` 或 `b`。
- 不支持正则表达式库或其他语言内置匹配函数。
- 程序需包含一个 `bool IsMatch(string input, string pattern)` 方法作为入口点。

请在保证正确性的前提下优化性能，考虑边界条件和异常情况处理。