समय-समय पर, जब मैंने रोजलिन और इसके विश्लेषणकर्ताओं के बारे में पढ़ा, तो मैंने लगातार सोचा था: "लेकिन आप इस चीज़ के साथ नगेट बना सकते हैं, जो कोड के आसपास जाएगा और कोड जनरेशन करेगा।" एक त्वरित खोज ने कुछ भी दिलचस्प नहीं दिखाया, इसलिए खुदाई करने का निर्णय लिया गया। जब मुझे पता चला कि मुझे कितना सुखद आश्चर्य हुआ, तो मेरा विचार केवल संभव नहीं था, लेकिन यह सब लगभग बिना बैसाखी के काम करेगा।

और इसलिए जो यह देखने के लिए इच्छुक है कि आप "छोटा प्रतिबिंब" कैसे बना सकते हैं और इसे बिल्ली के नीचे, नगेट में पैक कर सकते हैं।

परिचय

मुझे लगता है कि स्पष्ट करने के लिए पहली बात यह है कि "थोड़ा प्रतिबिंब" से क्या मतलब है। मैं सभी प्रकार के Dictionary<string, Type> GetBakedType() विधि के लिए लागू करने का सुझाव देता हूं, जो गुणों और उनके प्रकारों के नाम वापस कर देगा। चूंकि यह सभी प्रकारों के साथ काम करना चाहिए, इसलिए सबसे आसान विकल्प प्रत्येक प्रकार के लिए एक निरोध विधि उत्पन्न करना होगा। इसके मैनुअल कार्यान्वयन के निम्नलिखित रूप होंगे:

 using System; using System.Collections.Generic; public static class testSimpleReflectionUserExtentions { private static Dictionary<string, Type> properties = new Dictionary<string, Type> { { "Id", typeof(System.Guid)}, { "FirstName", typeof(string)}, { "LastName", typeof(string)}, }; public static Dictionary<string, Type> GetBakedType(this global::testSimpleReflection.User value) { return properties; } }

यहां कुछ भी अलौकिक नहीं है, लेकिन सभी प्रकारों के लिए इसे महसूस करना एक नीरस और दिलचस्प व्यवसाय नहीं है, जो इसके अलावा, टाइपकोस को खतरा है। हम मदद के लिए संकलक से क्यों नहीं पूछते। यह वह जगह है जहाँ रोजलिन और उसके विश्लेषक अखाड़े में प्रवेश करते हैं। वे कोड का विश्लेषण करने और इसे बदलने का अवसर प्रदान करते हैं। तो चलिए कंपाइलर को एक नई ट्रिक सिखाते हैं। उसे कोड के चारों ओर जाने दें और देखें कि हम कहां उपयोग करते हैं, लेकिन अभी तक हमारे GetBakedType लागू नहीं किया है और इसे लागू करता है।

इस कार्यक्षमता को "सक्षम" करने के लिए, हमें केवल एक नगेट पैकेज स्थापित करने की आवश्यकता है और सब कुछ तुरंत काम करेगा। अगला, बस GetBakedType कॉल करें जहां आवश्यक हो, हमें एक संकलन त्रुटि मिलती है जो कहती है कि इस प्रकार के लिए प्रतिबिंब अभी तैयार नहीं है, कोडफिक्स को कॉल करें और आपका काम हो गया। हमारे पास एक विस्तार विधि है जो सभी सार्वजनिक संपत्तियों को हमारे पास लौटा देगी।

मुझे लगता है कि आंदोलन में यह समझना आसान होगा कि यह आम तौर पर कैसे काम करता है, यहां एक छोटा दृश्य है:

स्थानीय रूप से इसे आज़माने के लिए इच्छुक कोई भी व्यक्ति सरल नाम के तहत नगेट पैकेज स्थापित कर सकता है:

 Install-Package SimpleReflection

जो स्रोत की परवाह करते हैं, वे यहां हैं ।

मैं चेतावनी देना चाहता हूं कि यह कार्यान्वयन वास्तविक उपयोग के लिए नहीं बनाया गया है। मैं सिर्फ रोजलिन के साथ कोड जेनरेशन को व्यवस्थित करने का एक तरीका दिखाना चाहता हूं।

प्रारंभिक तैयारी

इससे पहले कि आप अपने विश्लेषण करना शुरू करें, आपको स्टूडियो इंस्टॉलर में घटक ext विज़ुअल स्टूडियो एक्स्टेंशन डेवलपमेंट ’स्थापित करना होगा। वीएस 2019 के लिए, आपको वैकल्पिक घटक के रूप में ".NET कंपाइलर प्लेटफ़ॉर्म एसडीके" का चयन करना याद रखना चाहिए।

विश्लेषक कार्यान्वयन

मैं चरणों में वर्णन नहीं करूंगा कि विश्लेषक को कैसे लागू किया जाए, क्योंकि यह बहुत सरल है, लेकिन सिर्फ प्रमुख बिंदुओं के माध्यम से जाना।

और पहला मुख्य बिंदु यह होगा कि यदि हमारे पास वास्तविक संकलन त्रुटि है, तो विश्लेषक बिल्कुल भी शुरू नहीं करते हैं। परिणामस्वरूप, यदि हम अपने GetBakedType() को उस प्रकार के संदर्भ में कॉल करने का प्रयास करते हैं जिसके लिए इसे लागू नहीं किया गया है, तो हमें संकलन त्रुटि मिलेगी और हमारे सभी प्रयासों का कोई मतलब नहीं होगा। लेकिन यहां हमें उस प्राथमिकता के ज्ञान से मदद की जाएगी जिसके साथ कंपाइलर एक्सटेंशन विधियों को कॉल करता है। पूरे बिंदु यह है कि विशिष्ट कार्यान्वयन सामान्य तरीकों पर वरीयता लेते हैं। अर्थात्, निम्नलिखित उदाहरण में, दूसरी विधि को बुलाया जाएगा, न कि पहली:

 public static class SomeExtentions { public static void Save<T>(this T value) { ... } public static void Save(this User user) { ... } } public class Program { public static void Main(string[] args) { var user = new User(); user.Save(); } }

यह सुविधा बहुत आसान है। हम केवल सामान्य GetBakedType को निम्नानुसार परिभाषित करते हैं:

 using System; using System.Collections.Generic; public static class StubExtention { public static Dictionary<string, Type> GetBakedType<TValue>(this TValue value) { return new Dictionary<string, Type>(); } }

यह हमें बहुत शुरुआत में एक संकलन त्रुटि से बचने और अपनी खुद की संकलन "त्रुटि" उत्पन्न करने की अनुमति देगा।

विश्लेषक खुद विचार करें। वह दो निदान की पेशकश करेगा। पहला उस मामले के लिए जिम्मेदार है जब कोड पीढ़ी बिल्कुल भी शुरू नहीं हुई थी, और दूसरा जब हमें किसी मौजूदा कोड को अपडेट करने की आवश्यकता होती है। उनके पास क्रमशः SimpleReflectionIsNotReady और SimpleReflectionUpdate निम्नलिखित नाम होंगे। पहला डायग्नोस्टिक्स एक "संकलन त्रुटि" उत्पन्न करेगा, और दूसरा केवल रिपोर्ट करता है कि यहां आप कोड पीढ़ी फिर से चला सकते हैं।

निदान का विवरण इस प्रकार है:

  public const string SimpleReflectionIsNotReady = "SimpleReflectionIsNotReady"; public const string SimpleReflectionUpdate = "SimpleReflectionUpdate"; public static DiagnosticDescriptor SimpleReflectionIsNotReadyDescriptor = new DiagnosticDescriptor( SimpleReflectionIsNotReady, "Simple reflection is not ready.", "Simple reflection is not ready.", "Codegen", DiagnosticSeverity.Error, isEnabledByDefault: true, "Simple reflection is not ready."); public static DiagnosticDescriptor SimpleReflectionUpdateDescriptor = new DiagnosticDescriptor( SimpleReflectionUpdate, "Simple reflection update.", "Simple reflection update.", "Codegen", DiagnosticSeverity.Info, isEnabledByDefault: true, "Simple reflection update.");

अगला, यह निर्धारित करना आवश्यक है कि हम क्या खोज रहे हैं, इस मामले में यह एक विधि कॉल होगी:

 public override void Initialize(AnalysisContext context) { context.RegisterOperationAction(this.HandelBuilder, OperationKind.Invocation); }

फिर पहले से ही HandelBuilder में एक वाक्यविन्यास ट्री विश्लेषण है। प्रवेश द्वार पर हमें वे सभी कॉल प्राप्त होंगी जो आपको मिली थीं, इसलिए आपको हमारे GetBakedType को छोड़कर सब कुछ समाप्त करने की आवश्यकता है। यह सामान्य के साथ किया जा सकता है if हम विधि के नाम की जांच करते हैं। आगे हमें उस प्रकार का वैरिएबल मिलता है, जिस पर हमारी विधि कहलाती है और कंपाइलर को हमारे विश्लेषण के परिणामों के बारे में सूचित करती है। यह एक संकलन त्रुटि हो सकती है यदि कोड पीढ़ी अभी तक शुरू नहीं हुई है या इसे पुनरारंभ करने की क्षमता नहीं है।

यह सब इस तरह दिखता है:

 private void HandelBuilder(OperationAnalysisContext context) { if (context.Operation.Syntax is InvocationExpressionSyntax invocation && invocation.Expression is MemberAccessExpressionSyntax memberAccess && memberAccess.Name is IdentifierNameSyntax methodName && methodName.Identifier.ValueText == "GetBakedType") { var semanticModel = context.Compilation .GetSemanticModel(invocation.SyntaxTree); var typeInfo = semanticModel .GetSpeculativeTypeInfo(memberAccess.Expression.SpanStart, memberAccess.Expression, SpeculativeBindingOption.BindAsExpression); var diagnosticProperties = ImmutableDictionary<string, string>.Empty.Add("type", typeInfo.Type.ToDisplayString()); if (context.Compilation.GetTypeByMetadataName(typeInfo.Type.GetSimpleReflectionExtentionTypeName()) is INamedTypeSymbol extention) { var updateDiagnostic = Diagnostic.Create(SimpleReflectionUpdateDescriptor, methodName.GetLocation(), diagnosticProperties); context.ReportDiagnostic(updateDiagnostic); return; } var diagnostic = Diagnostic.Create(SimpleReflectionIsNotReadyDescriptor, methodName.GetLocation(), diagnosticProperties); context.ReportDiagnostic(diagnostic); } }

पूर्ण विश्लेषक कोड

  [DiagnosticAnalyzer(LanguageNames.CSharp)] public class SimpleReflectionAnalyzer : DiagnosticAnalyzer { public const string SimpleReflectionIsNotReady = "SimpleReflectionIsNotReady"; public const string SimpleReflectionUpdate = "SimpleReflectionUpdate"; public static DiagnosticDescriptor SimpleReflectionIsNotReadyDescriptor = new DiagnosticDescriptor( SimpleReflectionIsNotReady, "Simple reflection is not ready.", "Simple reflection is not ready.", "Codegen", DiagnosticSeverity.Error, isEnabledByDefault: true, "Simple reflection is not ready."); public static DiagnosticDescriptor SimpleReflectionUpdateDescriptor = new DiagnosticDescriptor( SimpleReflectionUpdate, "Simple reflection update.", "Simple reflection update.", "Codegen", DiagnosticSeverity.Info, isEnabledByDefault: true, "Simple reflection update."); public override ImmutableArray<DiagnosticDescriptor> SupportedDiagnostics => ImmutableArray.Create(SimpleReflectionIsNotReadyDescriptor, SimpleReflectionUpdateDescriptor); public override void Initialize(AnalysisContext context) { context.RegisterOperationAction(this.HandelBuilder, OperationKind.Invocation); } private void HandelBuilder(OperationAnalysisContext context) { if (context.Operation.Syntax is InvocationExpressionSyntax invocation && invocation.Expression is MemberAccessExpressionSyntax memberAccess && memberAccess.Name is IdentifierNameSyntax methodName && methodName.Identifier.ValueText == "GetBakedType" ) { var semanticModel = context.Compilation .GetSemanticModel(invocation.SyntaxTree); var typeInfo = semanticModel .GetSpeculativeTypeInfo(memberAccess.Expression.SpanStart, memberAccess.Expression, SpeculativeBindingOption.BindAsExpression); var diagnosticProperties = ImmutableDictionary<string, string>.Empty.Add("type", typeInfo.Type.ToDisplayString()); if (context.Compilation.GetTypeByMetadataName(typeInfo.Type.GetSimpleReflectionExtentionTypeName()) is INamedTypeSymbol extention) { var updateDiagnostic = Diagnostic.Create(SimpleReflectionUpdateDescriptor, methodName.GetLocation(), diagnosticProperties); context.ReportDiagnostic(updateDiagnostic); return; } var diagnostic = Diagnostic.Create(SimpleReflectionIsNotReadyDescriptor, methodName.GetLocation(), diagnosticProperties); context.ReportDiagnostic(diagnostic); } } }

कोड जनरेटर कार्यान्वयन

हम CodeFixProvider माध्यम से CodeFixProvider जेनरेशन CodeFixProvider , जो हमारे एनालाइजर को सब्सक्राइब किया जाता है। सबसे पहले, हमें यह जांचने की आवश्यकता है कि हमारे विश्लेषक को खोजने के लिए क्या हुआ।

यह इस तरह दिखता है:

 public sealed override async Task RegisterCodeFixesAsync(CodeFixContext context) { var diagnostic = context.Diagnostics.First(); var title = diagnostic.Severity == DiagnosticSeverity.Error ? "Generate simple reflection" : "Recreate simple reflection"; context.RegisterCodeFix( CodeAction.Create( title, createChangedDocument: token => this.CreateFormatterAsync(context, diagnostic, token), equivalenceKey: title), diagnostic); }

सभी जादू CreateFormatterAsync अंदर होता है। इसमें हमें टाइप का पूरा विवरण मिलता है। फिर हम कोड पीढ़ी शुरू करते हैं और परियोजना में एक नई फ़ाइल जोड़ते हैं।

जानकारी प्राप्त करना और फ़ाइल जोड़ना:

  private async Task<Document> CreateFormatterAsync(CodeFixContext context, Diagnostic diagnostic, CancellationToken token) { var typeName = diagnostic.Properties["type"]; var currentDocument = context.Document; var model = await context.Document.GetSemanticModelAsync(token); var symbol = model.Compilation.GetTypeByMetadataName(typeName); var rawSource = this.BuildSimpleReflection(symbol); var source = Formatter.Format(SyntaxFactory.ParseSyntaxTree(rawSource).GetRoot(), new AdhocWorkspace()).ToFullString(); var fileName = $"{symbol.GetSimpleReflectionExtentionTypeName()}.cs"; if (context.Document.Project.Documents.FirstOrDefault(o => o.Name == fileName) is Document document) { return document.WithText(SourceText.From(source)); } var folders = new[] { "SimpeReflection" }; return currentDocument.Project .AddDocument(fileName, source) .WithFolders(folders); }

खुद का कोड जनरेशन (मुझे संदेह है कि हब पूरे सबनेट को तोड़ देगा):

 private string BuildSimpleReflection(INamedTypeSymbol symbol) => $@" using System; using System.Collections.Generic; // Simple reflection for {symbol.ToDisplayString()} public static class {symbol.GetSimpleReflectionExtentionTypeName()} {{ private static Dictionary<string, Type> properties = new Dictionary<string, Type> {{ { symbol .GetAllMembers() .OfType<IPropertySymbol>() .Where(o => (o.DeclaredAccessibility & Accessibility.Public) > 0) .Select(o => $@" {{ ""{o.Name}"", typeof({o.Type.ToDisplayString()})}},") .JoinWithNewLine() } }}; public static Dictionary<string, Type> GetBakedType(this global::{symbol.ToDisplayString()} value) {{ return properties; }} }} "; }

पूरा कोड जनरेटर

 using Microsoft.CodeAnalysis; using Microsoft.CodeAnalysis.CodeActions; using Microsoft.CodeAnalysis.CodeFixes; using Microsoft.CodeAnalysis.CSharp; using Microsoft.CodeAnalysis.Formatting; using Microsoft.CodeAnalysis.Text; using SimpleReflection.Utils; using System; using System.Collections.Generic; using System.Collections.Immutable; using System.Composition; using System.IO; using System.Linq; using System.Text; using System.Threading; using System.Threading.Tasks; namespace SimpleReflection { [ExportCodeFixProvider(LanguageNames.CSharp, Name = nameof(SimpleReflectionCodeFixProvider)), Shared] public class SimpleReflectionCodeFixProvider : CodeFixProvider { public sealed override ImmutableArray<string> FixableDiagnosticIds => ImmutableArray.Create(SimpleReflectionAnalyzer.SimpleReflectionIsNotReady, SimpleReflectionAnalyzer.SimpleReflectionUpdate); public sealed override FixAllProvider GetFixAllProvider() { return WellKnownFixAllProviders.BatchFixer; } public sealed override async Task RegisterCodeFixesAsync(CodeFixContext context) { var diagnostic = context.Diagnostics.First(); var title = diagnostic.Severity == DiagnosticSeverity.Error ? "Generate simple reflection" : "Recreate simple reflection"; context.RegisterCodeFix( CodeAction.Create( title, createChangedDocument: token => this.CreateFormatterAsync(context, diagnostic, token), equivalenceKey: title), diagnostic); } private async Task<Document> CreateFormatterAsync(CodeFixContext context, Diagnostic diagnostic, CancellationToken token) { var typeName = diagnostic.Properties["type"]; var currentDocument = context.Document; var model = await context.Document.GetSemanticModelAsync(token); var symbol = model.Compilation.GetTypeByMetadataName(typeName); var symbolName = symbol.ToDisplayString(); var rawSource = this.BuildSimpleReflection(symbol); var source = Formatter.Format(SyntaxFactory.ParseSyntaxTree(rawSource).GetRoot(), new AdhocWorkspace()).ToFullString(); var fileName = $"{symbol.GetSimpleReflectionExtentionTypeName()}.cs"; if (context.Document.Project.Documents.FirstOrDefault(o => o.Name == fileName) is Document document) { return document.WithText(SourceText.From(source)); } var folders = new[] { "SimpeReflection" }; return currentDocument.Project .AddDocument(fileName, source) .WithFolders(folders); } private string BuildSimpleReflection(INamedTypeSymbol symbol) => $@" using System; using System.Collections.Generic; // Simple reflection for {symbol.ToDisplayString()} public static class {symbol.GetSimpleReflectionExtentionTypeName()} {{ private static Dictionary<string, Type> properties = new Dictionary<string, Type> {{ { symbol .GetAllMembers() .OfType<IPropertySymbol>() .Where(o => (o.DeclaredAccessibility & Accessibility.Public) > 0) .Select(o => $@" {{ ""{o.Name}"", typeof({o.Type.ToDisplayString()})}},") .JoinWithNewLine() } }}; public static Dictionary<string, Type> GetBakedType(this global::{symbol.ToDisplayString()} value) {{ return properties; }} }} "; } }

परिणाम

नतीजतन, हमारे पास एक रोसलिन विश्लेषक-कोड जनरेटर है जिसकी मदद से कोड पीढ़ी का उपयोग करके "छोटा" प्रतिबिंब लागू किया जाता है। वर्तमान पुस्तकालय के लिए एक वास्तविक आवेदन के साथ आना मुश्किल होगा, लेकिन आसानी से सुलभ कोड जनरेटर को लागू करने के लिए यह एक महान उदाहरण होगा। यह दृष्टिकोण किसी भी कोड पीढ़ी की तरह हो सकता है, जो धारावाहिक लिखने के लिए उपयोगी है। मैसेजपैक के मेरे परीक्षण के कार्यान्वयन ने नीयूकेक / मैसेजपैक-सीएसएआरपी की तुलना में ~ 20% अधिक तेजी से काम किया, और मैंने अभी तक एक तेज धारावाहिक नहीं देखा है। इसके अलावा, इस दृष्टिकोण को Roslyn.Emit आवश्यकता नहीं है, जो एकता और AOT परिदृश्यों के लिए एकदम सही है।

रोजलिन के साथ कोड जनरेशन

परिचय

प्रारंभिक तैयारी

विश्लेषक कार्यान्वयन

कोड जनरेटर कार्यान्वयन

परिणाम

More articles: