C#静态代码检查工具StyleCode

C#静态代码检查工具StyleCode -- 初探

最近咱们Advent Data Service (ADS) 在项目上须要按照代码规范进行代码的编写工做，以方便未来代码的阅读与维护。

可是人工检查起来容易遗漏或者格式不统一， ReSharper又是收费的，并且费用不菲。

因而美国的同事推荐了咱们一款开源工具 StyleCop，我想不管是对公司项目仍是我的的项目，都是有所帮助的，因此想写下来与你们分享。

 

StyleCop官网地址：http://stylecop.codeplex.com/, 这里有你们须要的msi安装文件，源代码和说明文档等资源。

• 如今最新的版本是 4.7.50，这是一个Alpah版本，支持Visual Studio 2015 （暂时不支持C# 6.0的语法）

 

• StyleCop有两种安装方式
  • 直接在官网下载msi安装程序，双击安装
  • 在Visual Studio中，Tools --> Extensions and Updates… --> Extensions and Updates… --> Online --> 搜索stylecop，找到Visual StyleCop并安装

 

 

• 安装完成以后，打开Visual Studio并打开一个项目，右键选择一个Project，会发现多了三个选项

 

 

• Run StyleCop与Run StyleCop(Rescan All)会审查已有代码，而且在Error List中显示代码中不符合规范的Warning

第一个图是执行了Run StyleCop的Error List, 第二个图是执行了Build的Error List

   

 

• StyleCop Setting：在实际项目中，可能现有的规则并不适用于咱们的项目，须要咱们本身经过StyleCop Setting进行配置

 

 

以上都是StyleCop的基本功能，但愿能对你们有所帮助，也欢迎你们进行交流讨论。

 

Tips: 在Visual Studio中，规范化C#项目代码格式的快捷键是Ctrl + k，再按一下Ctrl + d。在编写完代码后，按下这个组合，代码就会规规矩矩的排列了☺

 

C#静态代码检查工具StyleCode -- 规则解析

在StyleCop中有一些官方本身写好的检测规则，下面就是英文的解释：

Documentation Rules 注释规则

• SA1600：ElementsMustBeDocumented元素必须添加注释

• SA1601: PartialElementsMustBeDocumented Partial修饰的成员必须添加注释

• SA1602：EnumerationItemsMustBeDocumented 枚举必须添加注释

• SA1603: DocumentationMustContainValidXml 注释必须合法(注释中的关键字不能有错误)

• SA1604: ElementDocumentationMustHaveSummary 元素注释必须包含Summary关键字

• SA1605:PartialElementDocumentationMustHaveSummary Partial修饰的成员注释必须包含Summary关键字

• SA1606:ElementDocumentationMustHaveSummaryText Summary节点内部必须添加文本

• SA1607:PartialElementDocumentationMustHaveSummaryText Partial修饰的成员注释Summary节点内部必须添加文本

• SA1608:ElementDocumentationMustNotHaveDefaultSummary Summary注释不能使用编译器自带的注释文本

• SA1609:PropertyDocumentationMustHaveValue 属性的注释中必须包含节点

• SA1610:PropertyDocumentationMustHaveValueText 属性的注释节点必须包含文本值

• SA1611:ElementParametersMustBeDocumented 参数必须注释

• SA1612:ElementParameterDocumentationMustMatchElementParameters 参数的个数必须与注释里的个数一致

• SA1613:ElementParameterDocumentationMustDeclareParameterName 参数的注释里必须有参数的名称

• SA1614:ElementParameterDocumentationMustHaveText 参数注释节点里不能空着

• SA1615:ElementReturnValueMustBeDocumented 返回值必须添加注释

• SA1616:ElementReturnValueDocumentationMustHaveText 返回值注释的节点内必须有文本值

• SA1617:VoidReturnValueMustNotBeDocumented 空返回值必定不能有返回值注释

• SA1618:GenericTypeParametersMustBeDocumented 生成的类型(泛型)参数必须有注释

• SA1619:GenericTypeParametersMustBeDocumentedPartialClass SA1618状况若是有Partial类存在都要有注释

• SA1620:GenericTypeParameterDocumentationMustMatchTypeParameters 注释与泛型必须能匹配上

• SA1621:GenericTypeParameterDocumentationMustDeclareParameterName 泛型的注释必须包含泛型定义是的关键字(如’T’)

• SA1622:GenericTypeParameterDocumentationMustHaveText 泛型的注释节点中必须包含文本值

• SA1623:PropertySummaryDocumentationMustMatchAccessors 属性的注释必须与属性的读写权限匹配，private类型的属性不能出如今注释里

• SA1624:PropertySummaryDocumentationMustOmitSetAccessorWithRestrictedAccess 属性的注释里必须忽略protected关键字，当成public类型当注释

• SA1625:ElementDocumentationMustNotBeCopiedAndPasted 各个参数的注解不能彻底相同(避免copy、post行为)

• SA1626:SingleLineCommentsMustNotUseDocumentationStyleSlashes 单行注释不能采起三个斜线的注释方式，斜线的个数必须是二的倍数

• SA1627:DocumentationTextMustNotBeEmpty 注释节点内部不能为空(必须有文本值)

• SA1628:DocumentationTextMustBeginWithACapitalLetter 注释节点内部的文本必须以大写字母开头

• SA1629:DocumentationTextMustEndWithAPeriod 注释节点内部的文本必须英文的句号结束

• SA1630:DocumentationTextMustContainWhitespace 注释节点内部的文本必须包含空格

• SA1631:DocumentationMustMeetCharacterPercentage 注释节点内部的文本中不能包含过多的字符(举例:包含’—————————————’是不容许的)

• SA1632:DocumentationTextMustMeetMinimumCharacterLength 已经做废的规则，不容许有过短的字符串(如’A name’ 中的A字母)

• SA1633:FileMustHaveHeader 代码文件头部必须有说明，通常放置版权信息

• SA1634:FileHeaderMustShowCopyright 代码文件头部注解中必须包含版权关键字

• SA1635:FileHeaderMustHaveCopyrightText代码文件头部注解中必须包含版权信息内同

• SA1636:FileHeaderCopyrightTextMustMatch 代码文件头部注解中版权信息必须与设置画面设置的内容相匹配，在”style seting”画面的” Company Information tab”进行设置

• SA1637:FileHeaderMustContainFileName 代码文件头部注解中必须包含文件名称

• SA1638:FileHeaderFileNameDocumentationMustMatchFileName 代码文件头部注解中必须包含文件名称必须与实际的名称匹配

• SA1639:FileHeaderMustHaveSummary 代码文件头部注解中必须包含Summary节点

• SA1640:FileHeaderMustHaveValidCompanyText 代码文件头部注解中版权信息必须含有合理的公司名字

• SA1641:FileHeaderCompanyNameTextMustMatch 代码文件头部注解中的公司名字必须与设置画面设置的内容相匹配，在”style seting”画面的” Company Information tab”进行设置

• SA1642:ConstructorSummaryDocumentationMustBeginWithStandardText 构造函数注释标准：“Initializes a new instance of the class.”

• SA1643:DestructorSummaryDocumentationMustBeginWithStandardText 析构函数注释标准：“Finalizes an instance of the class.”

• SA1644:DocumentationHeadersMustNotContainBlankLines 注释中不能出现空白行

• SA1645:IncludedDocumentationFileDoesNotExist 若是注释中包含文件，要肯定这个文件存在，举例：“ /// ” 这一项过于复杂不建议用，可是若是未来想规范化相同共性东西的注释的时候却是能够考虑引入。

• SA1646:IncludedDocumentationXPathDoesNotExist 若是注释中包含文件，路径不存在。

• SA1647:IncludeNodeDoesNotContainValidFileAndPath 若是注释中包含文件 文件与路径都要合法

• SA1648:InheritDocMustBeUsedWithInheritingClass 这项不明白是什么意思，还请知道的分享给我，谢谢。

• SA1649:FileHeaderFileNameDocumentationMustMatchTypeName 文件头注释必须匹配类型

• SA1650:ElementDocumentationMustBeSpelledCorrectly 注释不能有拼写错误(对中文支持很差，不建议使用该项)

---

Layout Rules 布局规则

• SA1500:CurlyBracketsForMultiLineStatementsMustNotShareLine 花括号不能再同一行。

  标准格式：  public StRsvrRFun()
  
  
           {
  
  
            }

• SA1501:StatementMustNotBeOnASingleLine 语句不能共享一行

• SA1502:ElementMustNotBeOnASingleLine 语句不能共享一行

• SA1503:CurlyBracketsMustNotBeOmitted 花括弧即便在单行代码的状况下也不能省略。

• SA1504:AllAccessorsMustBeSingleLineOrMultiLine 读写属性，要么在同一行业要么在分多行写，不可规则不统一(我的建议分多行写)。

• SA1505:OpeningCurlyBracketsMustNotBeFollowedByBlankLine 开始的花括弧后面不能有空白行

• SA1506:ElementDocumentationHeadersMustNotBeFollowedByBlankLine 元素头部注释跟元素之间不能有空白行

• SA1507:CodeMustNotContainMultipleBlankLinesInARow 不容许有多行空白行紧挨着(我的建议写一个空白行便可)

• SA1508:ClosingCurlyBracketsMustNotBePrecededByBlankLine 结尾的花括弧不能再一个空白行以前

• SA1509:OpeningCurlyBracketsMustNotBePrecededByBlankLine 开始的花括弧不能再一个空白行以前

• SA1510:ChainedStatementBlocksMustNotBePrecededByBlankLine 相连的语句之间不能有空白行，如try语句与catch语句之间不能有空白行

• SA1511:WhileDoFooterMustNotBePrecededByBlankLine 与SA1510相同，Do语句与While语句之间不能有空白行

• SA1512:SingleLineCommentsMustNotBeFollowedByBlankLine 单行注释不能后跟空白行

• SA1513:ClosingCurlyBracketMustBeFollowedByBlankLine 结束花括弧以后必须有一个空白行

• SA1514:ElementDocumentationHeaderMustBePrecededByBlankLine 头部注解以前必须有一个空白行

• SA1515:SingleLineCommentMustBePrecededByBlankLine 单行注释以前要有一个空白行，还一种方法是不加空白行而用四个斜线注释”////”,建议采起第一种方法

• SA1516:ElementsMustBeSeparatedByBlankLine 邻近的元素之间要有一个空白行

• SA1517:CodeMustNotContainBlankLinesAtStartOfFile 代码文件头部字符以前不能出现空白行

• SA1518:CodeMustNotContainBlankLinesAtEndOfFile代码文件尾部字符以后不能出现空白行

---

Maintainability Rules 可维护规则

• SA1119:StatementMustNotUseUnnecessaryParenthesis 语句中不能够出现多余的括弧，无心义的括弧增长了代码的可读性

• SA1400:AccessModifierMustBeDeclared 必须定义访问修饰符

• SA1401:FieldsMustBePrivate 字段必须定义为私有的

• SA1402:FileMayOnlyContainASingleClass 一个CS文件里只定义一个类

• SA1403:FileMayOnlyContainASingleNamespace 一个CS文件只包含一个命名空间

• SA1404:CodeAnalysisSuppressionMustHaveJustification Suppression特性(取消报告特定的静态分析工具规则冲突，容许一个代码项目上应用多个取消报告设置)必需要有合理理由

• SA1405:DebugAssertMustProvideMessageText 参见代码：“Debug.Assert(value != true, “The value must always be true.”);”

• SA1406:DebugFailMustProvideMessageText 参见代码：“Debug.Fail(“The code should never reach this point.”);”

• SA1407:ArithmeticExpressionsMustDeclarePrecedence 算数表达式必须用明确的标明其优先级(此条与SA1119冲突)

• SA1408:ConditionalExpressionsMustDeclarePrecedence 条件表达式必须明确的标明其优先级(此条与SA1119冲突) 举例：“if (x || (y && z && a) || b)”

• SA1409:RemoveUnnecessaryCode 移除无用的代码

• SA1410:RemoveDelegateParenthesisWhenPossible 调用一个c#匿名方法不包含任何方法参数,必需要包括一个空括号(本人不建议使用匿名方法、匿名委托的语法，具体缘由后续作分享)

• SA1411:AttributeConstructorMustNotUseUnnecessaryParenthesis 特性构造函数若是是空参的形式，不要包括那个空括号

---

Naming Rules 命名规则

• SA1300:ElementMustBeginWithUpperCaseLetter 首字母必须大写(我的理解应该是字段之外的东西)

• SA1301: ElementMustBeginWithLowerCaseLetter 不会出现的状况

• SA1302:InterfaceNamesMustBeginWithI 接口必须以“I”字母开头

• SA1303:ConstFieldNamesMustBeginWithUpperCaseLetter Const常量首字母大写

• SA1304:NonPrivateReadonlyFieldsMustBeginWithUpperCaseLetter 非私有非制度的字段必须首字母大写

• SA1305:FieldNamesMustNotUseHungarianNotation 除了列表外的字符不能够出现匈牙利命名规则,在”Style Setting”里的” Hungarian”Tab里设置

• SA1306:FieldNamesMustBeginWithLowerCaseLetter 字段名必须首字母小写

• SA1307:AccessibleFieldsMustBeginWithUpperCaseLetter public或者internal字段首字母大写

• SA1308:VariableNamesMustNotBePrefixed 变量名不能有前缀

• SA1309:FieldNamesMustNotBeginWithUnderscore 字段名不能如下滑线开头

• SA1310:FieldNamesMustNotContainUnderscore 字段名不能包括下滑线

• SA1311:StaticReadonlyFieldsMustBeginWithUpperCaseLetter static与readonly字段首字母大写

---

Ordering Rules 排序规则

• SA1200:UsingDirectivesMustBePlacedWithinNamespace using部分必须在Namespace内部(我的不建议用这个规则)

• SA1201:ElementsMustAppearInTheCorrectOrder 全部的元素必须出如今正确的位置上(我的不建议使用该规则，用region把一个类文件里的元素分好组便可，字段、属性、对外公布的接口、私有方法等组)

• SA1202:ElementsMustBeOrderedByAccess 元素的修饰符有一个固定的顺序(我的不建议使用该规则，用region把一个类文件里的元素分好组便可，字段、属性、对外公布的接口、私有方法等组)

• SA1203:ConstantsMustAppearBeforeFields 常量字段摆放在其它字段之上

• SA1204:StaticElementsMustAppearBeforeInstanceElements Static 元素摆放在前面

• SA1205:PartialElementsMustDeclareAccess Partial修饰的元素必须声明读写权限

• SA1206:DeclarationKeywordsMustFollowOrder 举例：

  keywords must appear in the following order:
  
  
  Access modifiers
  
  
  static
  
  
  All other keywords

• SA1207:ProtectedMustComeBeforeInternal Protected在Internal以前

• SA1208:SystemUsingDirectivesMustBePlacedBeforeOtherUsingDirectives 系统级的引用在其余引用以前(格式化代码就会自动按照这个规则编排using部分)

• SA1209:UsingAliasDirectivesMustBePlacedAfterOtherUsingDirectives using部分起别名的在最后排布

• SA1210:UsingDirectivesMustBeOrderedAlphabeticallyByNamespace using部分按照字母顺序编排

• SA1211:UsingAliasDirectivesMustBeOrderedAlphabeticallyByAliasName 别名的按照别名的字母编排

• SA1212:PropertyAccessorsMustFollowOrder 属性按照先get在set

• SA1213:EventAccessorsMustFollowOrder 时间先remove在add

• SA1214:StaticReadonlyElementsMustAppearBeforeStaticNonReadonlyElements StaticReadonly元素在StaticNonReadonly元素以前

• SA1215:InstanceReadonlyElementsMustAppearBeforeInstanceNonReadonlyElements 一个readonly 实例元素要在一个非readonly 实例元素

---

Readability Rules 可读性规则

• SA1100:DoNotPrefixCallsWithBaseUnlessLocalImplementationExists

  change the ‘base.’ prefix to ‘this.’.

• SA1101:PrefixLocalCallsWithThis ‘this.’前缀不能省略

• SA1102:QueryClauseMustFollowPreviousClause linq语句要么同一行，要么关键字分布在多行，关键字对齐

• SA1103:QueryClausesMustBeOnSeparateLinesOrAllOnOneLine 不是很理解

• SA1104:QueryClauseMustBeginOnNewLineWhenPreviousClauseSpansMultipleLines不是很理解

• SA1105:QueryClausesSpanningMultipleLinesMustBeginOnOwnLine不是很理解

• SA1106:CodeMustNotContainEmptyStatements 不容许有空白的声明

• SA1107:CodeMustNotContainMultipleStatementsOnOneLine 同一行里不容许出现多个声明语句

• SA1108:BlockStatementsMustNotContainEmbeddedComments 非法用例：

  if (x != y)
  
  
      // Make sure x does not equal y
  
  
      {
  
  
      }

• SA1109:BlockStatementsMustNotContainEmbeddedRegions 非法用例：

  if (x != y)
  
  
      #region
  
  
      {
  
  
      }
  
  
      #endregion

• SA1110:OpeningParenthesisMustBeOnDeclarationLine 方法开始的括弧要在声明的那一行

• SA1111:ClosingParenthesisMustBeOnLineOfLastParameter 方法结束括弧与最后一个参数同行

• SA1112:ClosingParenthesisMustBeOnLineOfOpeningParenthesis 若是是空参的状况，开始于结束括弧在同一行

• SA1113:CommaMustBeOnSameLineAsPreviousParameter 逗号必须与前一个参数同行

• SA1114:ParameterListMustFollowDeclaration 确保参数列表与开始括号同行，或者另起一行 参数总体要在同一行

• SA1115:ParameterMustFollowComma 参数与参数之间不能隔空白行

• SA1116:SplitParametersMustStartOnLineAfterDeclaration 全部参数在同一行或者以下示例：

  public string JoinName(
  
  
          string first, 
  
  
          string last)

• SA1117:ParametersMustBeOnSameLineOrSeparateLines 同上

• SA1118:ParameterMustNotSpanMultipleLines 实际调用是参数要在同一行

• SA1120:CommentsMustContainText 注释必须节点内部必须有文本

• SA1122:UseStringEmptyForEmptyStrings

  示例代码：“string s = string.Empty;”不能写成” string s = ""; ”

• SA1123:DoNotPlaceRegionsWithinElements 不使用region(我的较反对这条，我的倾向于用region规整类里的元素)

• SA1124:DoNotUseRegions 不使用region(我的较反对这条，我的倾向于用region规整类里的元素)

• SA1125:UseShorthandForNullableTypes 使用简写版的可空类型 如”int?”

• SA1126:PrefixCallsCorrectly 调用类成员的时候要带上“this”前缀

---

Spacing Rules 拼写规则

• SA1000:KeywordsMustBeSpacedCorrectly 关键字不能拼写错误

• SA1001:CommasMustBeSpacedCorrectly 逗号前面摆放一个空格

• SA1002:SemicolonsMustBeSpacedCorrectly 分号前面摆放一个空格

• SA1003:SymbolsMustBeSpacedCorrectly 操做符与元素之间不加空格

• SA1004:DocumentationLinesMustBeginWithSingleSpace “///”注释的每一行以一个空格开头

• SA1005:SingleLineCommentsMustBeginWithSingleSpace 单行注释以一个空格开头

• SA1006:PreprocessorKeywordsMustNotBePrecededBySpace 预处理关键字内部不容许出现空格 如“# if Debug”是不容许的

• SA1007:OperatorKeywordMustBeFollowedBySpace 操做必需要在一个空格以后

• SA1008:OpeningParenthesisMustBeSpacedCorrectly 开始括弧放置合理的空格

• SA1009:ClosingParenthesisMustBeSpacedCorrectly 结尾括弧放置合理的空格

• SA1010:OpeningSquareBracketsMustBeSpacedCorrectly 开始方括号放置合理的空格

• SA1011:ClosingSquareBracketsMustBeSpacedCorrectly 结束方括号放置合理的空格

• SA1012:OpeningCurlyBracketsMustBeSpacedCorrectly 开始花括号放置合理的空格

• SA1013:ClosingCurlyBracketsMustBeSpacedCorrectly 结束花括号放置合理的空格

• SA1014:OpeningGenericBracketsMustBeSpacedCorrectly 同上

• SA1015:ClosingGenericBracketsMustBeSpacedCorrectly 同上

• SA1016:OpeningAttributeBracketsMustBeSpacedCorrectly 特性开始括号同上

• SA1017:ClosingAttributeBracketsMustBeSpacedCorrectly 特性结尾括号同上

• SA1018:NullableTypeSymbolsMustNotBePrecededBySpace 空类型前不放置空格

• SA1019:MemberAccessSymbolsMustBeSpacedCorrectly 成员访问关键字先后有空格

• SA1020:IncrementDecrementSymbolsMustBeSpacedCorrectly 自增、自减关键字要有空格

• SA1021:NegativeSignsMustBeSpacedCorrectly 负号要有空格

• SA1022:PositiveSignsMustBeSpacedCorrectly 正号要有空格

• SA1023:DereferenceAndAccessOfMustBeSpacedCorrectly

• SA1024:ColonsMustBeSpacedCorrectly 冒号运算符要有空格

• SA1025:CodeMustNotContainMultipleWhitespaceInARow 同一行不容许出现多个空格

• SA1026:CodeMustNotContainSpaceAfterNewKeywordInImplicitlyTypedArrayAllocation new关键字以后不容许出现空格

• SA1027:TabsMustNotBeUsed 不用tab字符(我的不建议采用这条)

 

C#静态代码检查工具StyleCode -- 自定义规则

本文将简单的一步一步的指导这可能有助于学习如何建立本身的规则

一、建立一个项目。

Visual Studio建立一个新的类库项目.NET3.5

 

二、引用两个DLL，StyleCop.dll和StyleCop.Csharp.dll.

三、添加自定义的规则。

MyCustomAnalyzer.cs代码以下：

 

using StyleCop;
using StyleCop.CSharp;

namespace MyCustomRules
{
    /// <summary>
    /// Custom analyzer for demo purposes.
    /// </summary>
    [SourceAnalyzer(typeof(CsParser))]
    public class MyCustomAnalyzer : SourceAnalyzer
    {
        /// <summary>
        /// Extremely simple analyzer for demo purposes.
        /// </summary>
        public override void AnalyzeDocument(CodeDocument document)
        {
            CsDocument doc = (CsDocument)document;

            // skipping wrong or auto-generated documents
            if (doc.RootElement == null || doc.RootElement.Generated)
                return;

            // check all class entries
            doc.WalkDocument(CheckClasses);
        }

        /// <summary>
        /// Checks whether specified element conforms custom rule CR0001.
        /// </summary>
        private bool CheckClasses(
            CsElement element,
            CsElement parentElement,
            object context)
        {
            // if current element is not a class then continue walking
            if (element.ElementType != ElementType.Class)
                return true;

            // check whether class name contains "a" letter
            Class classElement = (Class)element;
            if (classElement.Declaration.Name.Contains("a"))
            {
                // add violation
                // (note how custom message arguments could be used)
                AddViolation(
                    classElement,
                    classElement.Location,
                    "AvoidUsingAInClassNames",
                    classElement.FriendlyTypeText);
            }

            // continue walking in order to find all classes in file
            return true;
        }
    }

}

 

四、添加一个规则的XML文件，命名和上面类的名字同样。

把如下内容写到MyCustomAnalyzer.xml文件中

 

<?xml version="1.0" encoding="utf-8" ?>
<SourceAnalyzer Name="My Custom Rule">
    <Description>
        Custom rule for demo purposes.
    </Description>
    <Rules>
        <Rule Name="AvoidUsingAInClassNames" CheckId="CR0001">
            <Context>不能用A字母</Context>
            <Description>Fires when 'a' letter is used in class name.</Description>
        </Rule>
    </Rules>
</SourceAnalyzer>

 

五、构建

将这个项目生成DLL，把MyCustomAnalyzer.dll放到StyleCop根目录下。

六、部署

打开一个咱们要测试的项目代码。点击StyleCop Setting设置用咱们的MyCoustomRule。

七、点击RunStyleCop在错误警告列表就会显示检测出来的规则验证。如图：