嵌套ConcurrentDictionary的静态字典是否具备线程安全性？

我维护一个多线程并发生成报表的遗留程序，代码文档缺失。程序在NUnit测试中报错，但本地IIS或Windows Server的IIS上运行完全正常。我怀疑下面这段Transliterator代码有问题，个人觉得它应该是线程安全的，但没法完全确定：

public static class Transliterator
{
    private static readonly ConcurrentDictionary<SupportedConversions, ConcurrentDictionary<char, string>> converters = new ConcurrentDictionary<SupportedConversions, ConcurrentDictionary<char, string>>
    {
            [SupportedConversions.MK_ENG] = new ConcurrentDictionary<char, string>()
            {
                  ['а'] = "a"
                , ['б'] = "b"
                , ['в'] = "v"
                , ['г'] = "g"
                , ['д'] = "d"
                , ['ѓ'] = "gj"
                , ['е'] = "e"
                , ['ж'] = "zh"
                , ['з'] = "z"
                , ['ѕ'] = "dz"
                , ['и'] = "i"
                , ['ј'] = "j"
                , ['к'] = "k"
                , ['л'] = "l"
                , ['љ'] = "lj"
                , ['м'] = "m"
                , ['н'] = "n"
                , ['њ'] = "nj"
                , ['о'] = "o"
                , ['п'] = "p"
                , ['р'] = "r"
                , ['с'] = "s"
                , ['т'] = "t"
                , ['ќ'] = "kj"
                , ['у'] = "u"
                , ['ф'] = "f"
                , ['х'] = "h"
                , ['ц'] = "c"
                , ['ч'] = "ch"
                , ['џ'] = "dzh"
                , ['ш'] = "sh"
                , ['А'] = "A"
                , ['Б'] = "B"
                , ['В'] = "V"
                , ['Г'] = "G"
                , ['Д'] = "D"
                , ['Ѓ'] = "Gj"
                , ['Е'] = "E"
                , ['Ж'] = "Zh"
                , ['З'] = "Z"
                , ['Ѕ'] = "Dz"
                , ['И'] = "I"
                , ['Ј'] = "J"
                , ['К'] = "K"
                , ['Л'] = "L"
                , ['Љ'] = "Lj"
                , ['М'] = "M"
                , ['Н'] = "N"
                , ['Њ'] = "Nj"
                , ['О'] = "O"
                , ['П'] = "P"
                , ['Р'] = "R"
                , ['С'] = "S"
                , ['Т'] = "T"
                , ['Ќ'] = "Kj"
                , ['У'] = "U"
                , ['Ф'] = "F"
                , ['Х'] = "H"
                , ['Ц'] = "C"
                , ['Ч'] = "Ch"
                , ['Џ'] = "Dzh"
                , ['Ш'] = "Sh" 
            }
    };

    public static string Transliterate(string source, SupportedConversions conversion)
    {
        ConcurrentDictionary<char, string> converter = converters[conversion];

        var result = new StringBuilder();

        foreach (char letter in source)
        {
            if (converter.TryGetValue(letter, out string convertedLetter))
            {
                result.Append(convertedLetter);
            }
            else
            {
                result.Append(letter);
            }
        }
        
        return result.ToString();
    }

    public enum SupportedConversions
    {
        MK_ENG = 0
    }
}

线程安全性结论 #

这段代码是线程安全的，原因很明确：

• converters是readonly修饰的ConcurrentDictionary，初始化后没有任何写入操作（比如Add、Remove、修改键值对），只在Transliterate里做读取。
• 内部嵌套的ConcurrentDictionary<char, string>同样是初始化后只读，仅调用TryGetValue做读取，没有任何修改行为。
• StringBuilder是每个Transliterate调用时局部创建的，属于线程私有变量，不会在多线程间共享，不存在竞争。
• 传入的source是字符串，本身是不可变类型，也不会引发线程问题。

测试报错的可能方向 #

既然这段代码没问题，NUnit测试报错大概率和其他因素有关：

• 测试的多线程模拟逻辑和生产环境不一样，比如并发量更高、线程调度更密集，触发了报表生成流程中其他代码的线程不安全问题。
• 测试环境和生产环境的.NET版本、系统配置有差异，导致某些隐性问题在测试中暴露。
• 测试代码本身有缺陷，比如测试上下文没隔离干净，导致不同测试用例之间互相干扰。

可选优化建议 #

因为converters初始化后完全不会修改，其实没必要用ConcurrentDictionary，换成普通字典加只读包装性能更好，也更贴合实际场景：

private static readonly IReadOnlyDictionary<SupportedConversions, IReadOnlyDictionary<char, string>> converters = 
    new Dictionary<SupportedConversions, IReadOnlyDictionary<char, string>>
    {
        [SupportedConversions.MK_ENG] = new Dictionary<char, string>
        {
            ['а'] = "a",
            // 其他映射保持不变
        }.AsReadOnly()
    };

内容的提问来源于stack exchange，提问作者Nikola