绑定的静态验证

如何确保所有绑定保持正确?
(这有点长,但请容忍我,我尽量缩短)

    <TextBox Name="tb" />
    <TextBlock Text="{Binding Text.TheProp, ElementName=tb}" />

在编译时,绑定是不正确的(也就是说,解析器知道元素的类型) tb 因此,它知道它的类型 Text 因此,它知道 TheProp 不存在)。

这种行为在某些情况下可能非常有用:不管我的数据是什么类型的,只要它有适当的命名属性,我都可以。因此,我们得到了一种“声明性duck类型”。

然而 ,鸭子打字并不总是一件好事。
具体来说,在使用MVVM模式时,我知道(大多数时候)所有ViewModel对象的确切类型。另一方面,随着时间的推移,模型变得越来越复杂,这让我担心将来的重构:如果我决定重命名一些属性,或者,上帝不允许,将它们放在一个单独的聚合对象中呢?那我所有的绑定会怎么样?我需要手动清理所有XAML文件吗?即使没有重构-如果我只是打了个错字怎么办?

Style/Setter/@Property ,则会出现编译时错误。
TemplateBinding

所以,理想情况下,我希望看到这样的情况:

    public class ProductViewModel
    {
        public Name { get; set; }
        public Price { get; set; }
    }

产品视图.XAML:

    <UserControl x:Class="Shopping.View.ProductView"
                 x:DataContextType="vm:ProductViewModel"
                 xmlns:vm="clr-namespace:Shopping.ViewModel"
                 ... >
        <TextBox Text="{Binding Name}" />  <!-- OK -->
        <TextBox Text="{Binding Price}" /> <!-- OK -->
        <TextBox Text="{Binding ABC}" />   <!-- Compile time error: there is no property ABC in ProductViewModel -->
    </UserControl>

购物车.XAML:

    <UserControl x:Class="Shopping.View.ShoppingCartView"
                 x:DataContextType="vm:ShoppingCartViewModel"
                 xmlns:vm="clr-namespace:Shopping.ViewModel"
                 ... >
        <ItemsControl ItemsSource="{Binding Products}"
                      ItemType="vm:ProductViewModel" >  <!-- Static check happens here 
                                                             ShoppingCartViewModel.Products must 
                                                             implement IEnumerable<ProductViewModel> -->
            <ItemsControl.ItemTemplate>
                <DataTemplate DataType="vm:ProductViewModel">
                    <view:ProductView /> <!-- DataContext is known to be of correct type
                                              because of DataTemplate.DataType property -->
                </DataTemplate>
            </ItemsControl.ItemTemplate>
        </ItemsControl>
    </UserControl>

然而,我肯定我不是第一个有这个问题的人。
最后,问题是: 如何确保绑定正确?他们就这样呆着?