Jak shodit Visual Studio zkompilovatelným kódem

10.12.2011 13:08 | Přečteno: 1743× | Zkušenosti | poslední úprava: 10.12.2011 14:02

Jsem si jistý, že by to mnoho z Vás uvítalo a neváhali byste obětovat svou čest, abyste dokázali kolegovi, že ten Visual Studio šunt od MS nestojí absolutně za nic. Ale jak to udělat, aby pokud možno dlouho nepřišel na polohu zakopaného psa? Na něco jsem přišel, i když úplnou náhodou a mou vlastní blbostí.

Špatný singleton jako instance

Nejprve si položte otázku: Používá dotyčný k vývoji WPF nebo Silverlight? Pokud ano, máte práci několikrát ulehčenou, za předpokladu, že aktivně používá MVVM (The Model-View-ViewModel design pattern). Další předpoklad je použití některého z jazyků .NET, já použil C#.

Podívejme se nejdřív na XAML soubor, ať si to lépe vysvětlíme. Tu hordu definicí na začátku račte klidně přeskočit. Vyvíjím pro Windows Phone 7, čili i tento XAML soubor a celý projekt tomu odpovídají.

MainPage.xaml

<phone:PhoneApplicationPage 
    x:Class="SmartDial.MainPage"
    xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
    xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
    xmlns:phone="clr-namespace:Microsoft.Phone.Controls;assembly=Microsoft.Phone"
    xmlns:shell="clr-namespace:Microsoft.Phone.Shell;assembly=Microsoft.Phone"
    xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
    xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006" 
    xmlns:helpers="clr-namespace:SmartDial.Helpers"
    xmlns:viewmodels="clr-namespace:SmartDial.ViewModels"
    mc:Ignorable="d" d:DesignWidth="480" d:DesignHeight="768" 
    FontFamily="{StaticResource PhoneFontFamilyNormal}"
    FontSize="{StaticResource PhoneFontSizeNormal}"
    Foreground="{StaticResource PhoneForegroundBrush}"
    SupportedOrientations="Portrait"  Orientation="Portrait"
    shell:SystemTray.IsVisible="True">
    
    <phone:PhoneApplicationPage.DataContext>
        <viewmodels:MainViewModel />
    </phone:PhoneApplicationPage.DataContext>
    
    <!--LayoutRoot is the root grid where all page content is placed-->
    <Grid x:Name="LayoutRoot" Background="Transparent">
        <Button Content="Sample button" />
    </Grid>
</phone:PhoneApplicationPage>

Hlavní pes nechť je zakopán v této poloze:

Helpers/ContactsCache.cs

using System;

namespace SmartDial.Helpers
{
    public class ContactsCache
    {
        protected readonly ContactsCache _instance = new ContactsCache();
        public ContactsCache Instance
        {
            get { return _instance; }
        }

        static ContactsCache() { }
        public ContactsCache()
        {   
        }
}

Tato třída je jedním z návrhů singletonu, neboli třídy, u které chceme, aby měla vždy jen jedinou instanci přístupnou přes ContactsCache.Instance. Ovšem pozor, u konstruktoru mi přebývá klíčové slovo public a mám ještě jednu zradu v klíčových slovech - u _instance a Instance mi chybí static.

Proč je tak důležité, aby konstruktor singletonu nebyl public? Podívejte se na následující průšvih a spojte si ho s předchozím kódem:

ViewModels/MainViewModel.cs

public class MainViewModel
    {
        public MainViewModel()
        {
            this.ContactsCache = new ContactsCache();
        }

        public ContactsCache ContactsCache;
    }

Singleton je obvykle třída navržená s záměrem, aby měla pouze jednu jedinou instanci, tedy u mě Instance. Současný návrh singletonu ovšem umožňuje vytvářet i další instance a společně s tímto kusem kódu způsobí, že po prvotním vytvoření instance třídy se budou neustále vytvářet další instance (taková malá rekurze), čímž dojde k přetečení zásobníku a následně k vyvolání výjimky System.StackOverflowException.

Důsledky

Co z toho vyplývá? Pokud je v XAML souboru stránky (nebo okna) navázán ViewModel (viz PhoneApplicationPage.DataContext), který v konstruktoru volá výše zmíněný řádek kódu (new ContactsCache()), Visual Studio a Expression Blend se budou pokoušet načíst strukturu ViewModelu, tedy zavolají konstruktor ViewModelu, ten zavolá zase konstruktor ContactsCache (- poslední krok se opakuje do nekonečna) - a proto po krátké době spadnou. A zase kvůli StackOverflowException. Nejsou ty nové technologie prostě skvělé? A nejlepší je, že kompilátor si něčeho takového ani nevšimne.

DOPLNĚNÍ: Visual Studio při pádu tímto způsobem prostě zmizí, v event logu sice dostane místečko, ale nic se z toho nedozvíte. Musíte tedy jednou instancí Visual Studia debugovat další instanci Visual Studia, abyste zjistili, co se vlastně stalo.

A na závěr

Problém jsem nahlásil na MS Connect a už se jím prý někdo zabývá. Dostali dump soubory a stejný archiv se zdrojákem, který tady tímto teď zveřejňuji. Mimo moji chybu se můžete taky podívat, jak vypadá vývoj na WP7. Projekt je prakticky čistý a obsahuje jen to, co je nutné pro vyvolání chyby.        

Komentáře

[Ladicek]

Když jsme u toho, pokud si někdo chce shodit překladač Javy (taky na stack overflow), ať mu podhodí tohle:

interface Interface<T> {}

class Bang<T> implements Interface<Interface<? super Bang<Bang<T>>>> {
    static void bang() {
        Interface<? super Bang<Byte>> bang = new Bang<Byte>();
    }
}

[PaulosV]

Ó, díky Mám někoho, na jehož kódu bych to mohl použít, tak to případně zkusím

[kralyk z abclinuxu]

Tos neměl hlásit, fanoušci MS v komunitu nevěří, tak ať pocítí důsledky

[PaulosV]

Já si radši zvykám chyby hlásit, neboť jsem vývojář a vím, jak je pro mě skličující, když už předem znám fakt, že ve svém kódu mám chyby, jen o nich nevím...

[Ivan]

A co je na tom tak zvlastniho? gcc jde sestrelit i jednodussim kodem. Kompilator patri k nejslozitejsim SW vubec a chyby najdete v kazdem SW.

[PaulosV]

Zvláštního? Jen to, že kompilátorem jazyka C# tento kód projde naprosto bez problémů a selže až při vykonávání. (Je to pochopitelné, jelikož tento kompilátor kód akorát převádí do MSIL.) Ale vzhledem k tomu, že Visual Studio a podobné si kód procházejí už při vývoji a zobrazení, tak na tu chybičku narazí taky a samozřejmě spadnou.