标签: strong-typing

这是我想做的事情:

我想创建一个包含我的资源文件的库项目(即UI标签和诸如此类的东西).我想在我的UI和测试中使用资源库.(即,我从多个项目中引用的资源基本上都有一个共同的位置.)

不幸的是,因为StronglyTypedResourceBuilder(生成资源代码的.Net类)默认使资源文件成为内部资源,所以我无法从另一个项目(即我的UI或测试)中引用库中的强类型资源,而不会跳转通过箍(即类似于此处描述的内容,或编写公共包装类/函数).

不幸的是,这两种解决方案都失去了我保持引用强类型的能力.

有没有人找到一种直接的方法来创建可以从多个项目中引用的强类型.Net资源？

我宁愿避免使用构建事件来实现这一目标(即,做一些事情,比如用'public'替换'internal'的所有实例,但如果我找不到,这基本上是我的后备计划一个答案..

我经常编写C#代码,必须使用魔术字符串来表达属性名称.每个人都知道魔术弦的问题.它们很难重构,它们没有编译时检查,并且通常会导致难以诊断的问题.然而,C#/ .NET 在整个地方使用它们来表示属性/类/方法名称.

这个问题已持续多年和多年,目前唯一可行的解​​决方案是使用表达式树,然后在运行时解析属性名称.这使您获得令人满意的编译时检查,但它使代码复杂化(需要Expression类型的参数),并且会产生运行时成本.

有没有人知道是否有一个特性考虑因为C#/ .NET添加编译时反射来克服这个普遍存在的问题？

看起来这将是一个简单的补充,它将是一个非破坏性的变化,它将使许多开发人员受益匪浅.typeof()运算符已经执行了编译时反射的形式,因此看起来运算符nameof()(或类似的东西)将非常互补.

此外,有没有人知道这个功能的任何潜在问题？

谢谢您的帮助.

我正在开发一个ASP.NET MVC项目,并希望使用强类型的会话对象.我已实现以下Controller派生类来公开此对象:

public class StrongController<_T> : Controller
    where _T : new()
{
    public _T SessionObject
    {
        get
        {
            if (Session[typeof(_T).FullName] == null)
            {
                _T newsession = new _T();
                Session[typeof(_T).FullName] = newsession;
                return newsession;
            }
            else
                return (_T)Session[typeof(_T).FullName];
        }
    }

}

这允许我为每个控制器定义一个会话对象,这符合控制器隔离的概念.是否有更好/更"正确"的方式,也许是微软官方支持的方式？

我有一个强大的观点.这个强类型有一个由byte []组成的字段,这个数组包含一个图片.

是否可以使用@ Html.Image(Model.myImage)等显示此图像？

非常感谢你

我正在查看TypeScript手册,我似乎无法找到答案.

如果我使用的库不存在任何类型,我有哪些选择？

一个是创建打字文件,但我真的不想这样做.

我有什么其他选择,我似乎记得某种'declare'关键字？

或者tsconfig中有什么东西？

我假设有一种方法可以全局声明这个变量(类型),所以每次使用它时,它都会起作用.

而且我认为有一种方法可以宣称它只在一个文件中可用.

当然最好的方法是包含一个打字文件,但这并不总是可用的.

也许我在展示我对C#或.NET框架的一些常用功能的无知,但我想知道是否有一种本机支持的方法来创建类型别名,如EmailAddress别名,string但我可以扩展它我自己的方法如何bool Validate()？

我知道using x = Some.Type;别名,但这些不是全局的,也不提供类型安全性,即可以string在当前文件中换出普通的别名.我希望我EmailAddress是自己的类型,独立,不能与string它阴影的类型互换.

我目前的解决方案是public sealed partial EmailAddress : IEquatable<EmailAddress>, IXmlSerializable使用T4模板生成类,生成样板隐式字符串转换运算符和其他类似的东西.这对我来说很好,并且给了我很大的灵活性,但在我的脑海里,我必须生成如此丰富的样板代码才能做一些像创建强类型别名一样简单的事情.

也许除了代码生成之外,这是不可能的,但我很好奇,如果其他人尝试过类似于他们的设计和你的经历.如果没有别的,也许这可以作为假设未来版本的C#中的这种别名功能的一个很好的用例.谢谢!

编辑:我想要的真正价值是能够使用表示数据的不同类型/格式的原始类型获得类型安全性.例如,a EmailAddress和a SocialSecurityNumber和a PhoneNumber,所有这些都string用作它们的基础类型,但它们本身并不是可互换的类型.我认为这会让你获得更具可读性和自我记录的代码,更不用说更多方法过载可能性的附加好处,而不是模糊不清.

什么使语言强烈输入？我正在寻找强类型语言最重要的方面.

昨天我问PowerShell是否是强类型的,但是没有人能就"强类型"的定义达成一致,所以我想澄清这个定义.

随意链接到维基百科或其他来源,但不要只剪切和粘贴您的答案.

可能重复:
可能导致精度损失的不同行为

我在编译时发现Java强类型检查不一致.请看下面的代码:

int sum = 0;
sum = 1; //is is OK
sum = 0.56786; //compile error because of precision loss, and strong typing
sum = sum + 2; //it is OK
sum += 2; //it is OK
sum = sum + 0.56787; //compile error again because of automatic conversion into double, and possible precision loss
sum += 0.56787; //this line is does the same thing as the previous line, but it does not give us a compile error, …

我很想知道scala中子类型多态性的完整替代方法.

我一直认为C++是最强类型的语言之一.
所以我很震惊地看到本文的表3表明C++是弱类型的.

显然,

C和C++被认为是弱类型的,因为由于类型转换,人们可以将结构的字段解释为整数作为指针.

类型铸造的存在是否重要？这种演员的明确性是否无关紧要？

更一般地说,C++的弱类型是否真的被普遍接受？为什么？