为什么广义类型约束不能完全影响方法体中的编译器？
广义类型约束是指在编程语言中对函数或方法的参数类型进行限制的一种机制。它可以确保在调用函数或方法时传入的参数类型符合预期，从而提高代码的可靠性和可维护性。
然而，广义类型约束并不能完全影响方法体中的编译器，这是因为方法体中的代码可能涉及到更加复杂的逻辑和运算，而不仅仅是参数类型的检查。下面是一些可能导致广义类型约束无法完全影响方法体的情况：
- 运行时类型转换：在方法体中，可能会使用类型转换操作符或函数来将参数从一种类型转换为另一种类型。这种类型转换可能会违反广义类型约束，但编译器无法在编译时检测到这种情况。
- 动态类型：某些编程语言支持动态类型，即在运行时可以改变变量的类型。在这种情况下，广义类型约束只能在编译时检查参数的类型，而无法对运行时动态类型的变化进行约束。
- 方法重载：如果存在方法重载的情况，即多个方法具有相同的名称但参数类型不同，编译器可能无法确定应该调用哪个方法。在这种情况下，广义类型约束可能无法完全影响方法体中的编译器。
- 外部依赖：方法体中可能会依赖于外部库或框架，这些库或框架可能使用了不受广义类型约束限制的类型或操作。在这种情况下，方法体中的编译器无法完全受到广义类型约束的影响。
综上所述，尽管广义类型约束可以在编译时对方法的参数类型进行检查和约束，但由于方法体中可能存在复杂的逻辑和运算，以及其他无法受到广义类型约束限制的因素，因此广义类型约束无法完全影响方法体中的编译器。
相关·内容
2回答
重写和重载方法
java、methods、software-design
“强制转换影响编译时重载方法的选择，而不影响重写方法”，这是什么意思？
我读了下面关于“重写的方法和动态绑定”()的文章，我无法理解最后一段
“在上一节中，我们提到编译器在编译时选择重载的方法，而重写的方法则是在运行时动态选择的。即使我们创建了我们的代码从未见过的子类实例(可能是通过网络加载的新类)，但它包含的任何重写方法都在运行时被定位和使用，替换了上次编译代码时存在的方法。
相反，如果我们创建一个新类来实现额外的、更具体的重载方法，并用它替换类路径中的已编译类，那么我们的代码将继续使用它最初发现的实现。这种情况将持续下去，直到我们与新类一起重新编译代码为止。另一个效果是，强制转换(即显式地
浏览 0提问于2019-06-11得票数 1
回答已采纳
3回答
C#中动态类型的局限性
c#、dynamic-keyword
你能给我一些C#中动态类型限制的理由吗？我在"Pro C# 2010和.NET 4平台“中读到了它们。这里有一段摘录(如果引用书籍在这里是非法的，请告诉我，我将删除摘录)：
虽然可以使用dynamic关键字来定义很多东西，但是它的使用也有一些限制。虽然它们不是显示停止，但要知道动态数据项在调用方法时不能使用lambda表达式或C#匿名方法。例如，下面的代码总是会导致错误，即使目标方法确实接受一个接受字符串值并返回void的委托参数。
动态a= GetDynamicObject()；// Error！动态数据的方法不能使用lambdas！a.Method(arg => Consol
浏览 14提问于2010-08-28得票数 5
回答已采纳
2回答
像Java或Groovy这样的语言被认为是静态类型还是动态类型，或者是一种动态语言？
java、groovy
我只是想弄清楚什么时候是静态或动态类型的编程语言，或者同时是静态类型和动态类型的语言，还是动态类型和动态类型的语言。
我感到困惑的是，如果已知一种语言是静态类型的，而变量的类型是已知的或在编译时定义的，在Java的情况下，即
//Java illustration of statically typed
int x, y; //explicit type declaration
x = 5, y = 10; //Now we use the variables
//Groovy illustration of statically typed
def x, y //explicit
浏览 3提问于2013-01-25得票数 1
2回答
Java方法重载-泛型参数和同一继承树中的参数
java、generics、inheritance、overloading
假设我有以下代码：
// Method acception generic parameter
public static <T> T foo(T para) {
return para;
}
// Method accepting Integer parameter
public static Integer foo(Integer para) {
return para + 1;
}
// Method accepting Number parameter
public static Number foo(Number para) {
return
浏览 3提问于2016-03-10得票数 4
回答已采纳
4回答
力属类型参数
c#、.net、generics、types
我正在为.NET构建一个HTTP包装器，它有许多方法来设置对象中的数据，然后将数据序列化并发送到我的服务器。允许有6种数据类型：
字符串
整型
长
浮动
双倍
DateTime
我的数据属性使用泛型：
SetAttribute<T>(string key, T value)
因此，只有一个通用方法来设置数据。由于不能将数据类型限制到上述6，所以我使用运行时检查，并在使用错误的数据类型时抛出异常。
现在我的问题是:我有两个版本的SetAttribute，一个采用单个值(类型为T)，另一个采用多个值(类型为IEnumerable)。问题是，当程序员使用此
浏览 14提问于2012-09-25得票数 1
回答已采纳
2回答
运算符'==‘不能应用于'T’和'T‘类型的操作数
c#、generics
在下面的代码示例中，编译器会抱怨x.Id == reference.Id。
运算符'==‘不能应用于'TId’和'TId‘类型的操作数
类似的问题也被问到了，它们通过用==+ Equals或EqualityComparer<TEnum>.Default代替IEquatable<> +Equals或EqualityComparer<TEnum>.Default来解决。
然而，这两种解决方案对我来说都行不通，原因对这个问题并不重要。
我不是在寻找替代== 运算符的操作符，而是要解释为什么等式运算符不适用于泛型类型。
public
浏览 5提问于2017-10-23得票数 10
回答已采纳
4回答
为什么方法调用表达式具有类型动态，即使只有一种可能的返回类型？
c#、dynamic
受到这个的启发。
短版本:为什么编译器不能计算出M(dynamic arg)的编译时类型，如果M只有一个重载，或者M的所有重载都有相同的返回类型？
根据规范，第7.6.5节：
如果至少有下列一种情况，则动态绑定调用-表达式(§7.2.2)：
主表达式具有编译时类型动态。
可选参数列表中至少有一个参数具有编译时类型动态，主表达式没有委托类型。
这是合理的
class Foo {
public int M(string s) { return 0; }
public string M(int s) { return String.Empty; }
}
浏览 0提问于2012-02-21得票数 16
回答已采纳
1回答
为什么返回类型的方法会导致动态的隐式类型？
c#、.net、dynamic
在下面的代码片段中，为什么隐式类型变量被确定为dynamic而不是方法的返回类型FluentClass
public static class DynamicTest
{
public class FluentClass
{
public FluentClass SomeMethod(dynamic arg)
{
return this;
}
}
public static void Main()
{
dynamic data = new { Data = 1 };
浏览 0提问于2017-07-13得票数 3
回答已采纳
12回答
一个重载方法可以有不同的返回类型吗？
overloading
在方法重载中，一个重载方法可以有不同的返回类型吗？例如,
void foo(int x) ;
int foo(int x,int y);
double foo(String str);
在一般的面向对象编程中，这是可能的吗？
浏览 1提问于2010-05-11得票数 40
3回答
奇怪的泛型行为
c#、.net、generics
在下面的代码中，装箱发生(在Generic.Print中)：
using System;
namespace Test
{
static class Program
{
static void Main()
{
Generic<string> generic = new Generic<string>("test");
generic.Print();
}
}
class Generic<Type>
{
浏览 2提问于2011-07-13得票数 3
回答已采纳
5回答
操作符是如何在内存中组织的
programming-languages、compiler
如何在编程语言的上下文中在内存中组织/保存操作符。当程序中使用运算符时，它们是否保存在某个地方，而编译器只是操纵它们来调用它们呢？
浏览 0提问于2012-09-11得票数 2
3回答
F#中的泛型函数
generics、f#、automatic-generalization
我仍然在试图弄清楚F#是如何泛化(或不泛化)函数和类型的，有一个案例困扰着我：
let min(a, b) = if a < b then a else b
let add(a, b) = a + b
let minInt = min(3, 4)
let minFloat = min(3.0, 4.0) // works!
let addInt = add(3, 5)
let addFloat = add(3.0, 5.0) // error: This expression was expected to have type
浏览 0提问于2012-05-15得票数 9
回答已采纳
2回答
将动态对象传递给C#方法更改返回类型
c#、generics、dynamic
我创建了一个，并希望创建一个静态方法，该方法可以创建具有预先确定的属性的新实例(存储在Dictionary中)。
public class CustomDynamic : DynamicObject
{
protected Dictionary<string, object> InnerDictionary;
public static T Create<T>(Dictionary<string, object> dictionary) where T : CustomDynamic , new()
{
return
浏览 8提问于2014-09-17得票数 27
回答已采纳
5回答
数据类型、编译器、硬件数据表示和静态与动态类型的混淆
compiler、type-systems、dynamic-typing、data-types、static-typing
我试图理解静态的还是动态的类型，但我真的很难理解所有的东西是如何结合在一起的。
这一切都从数据类型开始。据我所知，数据类型是相当抽象的概念，它们存在于编译器中，目的是对数据进行分类，以便对各种类型的数据进行验证(即试图阻止您向整数添加字符串)，并为该值的硬件解释生成正确的机器代码。也就是说，我们有以下几点：
int myInt = 5;
char myChar = '5';
Console.WriteLine(myInt);
Console.WriteLine(myChar);
这两种方法最终都会将5写入控制台窗口，但是，由于整数和字符在内存中的表示方式不同，解释绑定到变量m
浏览 0提问于2015-11-28得票数 0
回答已采纳
3回答
为什么C#编译器在静态方法调用实例方法时没有错误代码？
c#、visual-studio-2008、dynamic、compiler-errors
下面的代码有一个静态方法Foo()，它调用一个实例方法Bar()
public sealed class Example
{
int count;
public static void Foo( dynamic x )
{
Bar(x);
}
void Bar( dynamic x )
{
count++;
}
}
它编译时没有错误*但在运行时生成运行时绑定器异常。将动态参数移除到这些方法会像预期的那样导致编译器错误。
那么为什么有一个动态参数允许编译代码呢？ReSharper也不会将其显示为错误。
V
浏览 6提问于2012-10-11得票数 110
回答已采纳
3回答
Java重载和重写方法
java、static-binding
在下面的程序中，我在A类中有一个方法重载3次，然后在子类B中，所有3个重载方法都被重写。
obj3是一个具有引用类型A(超类)和对象类型B(子类)的对象，它在执行时调用来自B的方法，这是预期的行为。
由于重载和重写都存在于此代码中，这是否意味着它在编译时执行静态绑定(A类中的匹配方法)，然后在运行时执行动态绑定(到类B中的方法)。它们都能一起发生吗？
我的假设是，这是一个典型的动态绑定案例，因为我认为“绑定”意味着它是一个永久的行为，但是一个对等者认为这两者是在一起的(首先是静态的，然后是动态的)。
class A{
public void method(Integer n)
浏览 4提问于2020-09-02得票数 3
回答已采纳
1回答
大多数特定的泛型函数没有被调用
swift、generics、swift5
我使用@propertyWrapper来减少UserDefaults样板，如下所示：…
enum PreferenceKey: String, CaseIterable {
case enumName, stringName
}
@propertyWrapper
struct Prefs<T> {
let key: PreferenceKey
var wrappedValue: T? {
get {
UserDefaults.object(for: key)
}
set {
浏览 1提问于2019-09-19得票数 0
回答已采纳
3回答
编译器在传递值类型时不调用适当的泛型重载
c#、generics、type-inference、overloading、value-type
我有这样的公共职能：
public static T Get<T>(this Mango m, T defaultValue = default(T)) where T : class
{
//do something; return something;
}
public static T? Get<T>(this Mango m, T? defaultValue = default(T?)) where T : struct
{
//do something; return something;
}
基本上，我想单独处理引用类型和可空类型。它编译；
浏览 1提问于2013-02-07得票数 9
回答已采纳
3回答
如何理解behvior是在Java中使用静态绑定还是动态绑定？
java、language-design
我从低层次上理解了静态绑定(编译时间)和动态绑定(运行时)是什么。
在某种程度上，我理解为什么知道这一点很重要(例如，泛型是静态解析的，这有助于解释您可以做什么和不能做什么，等等)。
我不明白为什么选择是以这样或那样的方式进行的--例如，Java对重载方法使用静态绑定，对重写方法使用动态绑定。为什么会这样呢？这是一种设计选择吗?对于理解Java深层功能的人来说，这是显而易见和不可避免的，还是需要学习(而不是理解)？
浏览 0提问于2010-12-06得票数 7
回答已采纳
2回答
我来自C++背景，相对来说我是C#的新手。目前，我正在尝试编写两个打印函数，第一个函数接受泛型数组参数(并将数组的项打印到命令行)，第二个函数接受泛型基元参数(并调用其ToString()方法)。这是我的密码：
using System;
namespace OverloadResolution
{
class Program
{
static void Main(string[] args)
{
string[] foo = new string[] { "A", "B", "C" };
Ext
浏览 0提问于2018-11-06得票数 8
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
