为什么推断的类型是这样的？
推断的类型是这样的，是因为问题中提到了云计算领域的专家和开发工程师，并列举了多个与云计算相关的技术领域和编程语言。根据问题的描述，需要回答关于云计算领域的专业知识、编程语言、开发过程中的BUG等内容，以及推荐腾讯云相关产品和产品介绍链接地址。因此，推断问题的类型是关于云计算领域的专业知识和技术推荐。
相关·内容
1回答
我正在试验现代的C++ 'auto‘，并找到了一个简单的例子，它会产生一个错误，但我不明白为什么：
main.cpp
// error: use of ‘auto test(int)’ before deduction of ‘auto’ int i = test(5);
int i = test(5);
test.h
auto test(int i);
test.cpp
auto test(int i) {
if (i == 1)
return i; // return type deduced as int
else
return
浏览 3提问于2017-01-12得票数 0
回答已采纳
1回答
我有一个非常棘手的泛型传播场景的Java代码：
public class Main {
public static void parent(Parent<String> parent) {}
public static void child(Child<String> parent) {}
public static <T> Parent<T> makeParent() {
return new Parent<>();
}
public static void main(String[] args)
浏览 3提问于2020-05-07得票数 1
回答已采纳
1回答
未绑定通配符类型
、、、
当我得到error: unbound wildcard type的时候，我正在Scala REPL中玩耍。我试图声明这个(无用的)函数：
def ignoreParam(n: _) = println("Ignored")
为什么我会得到这个错误？
是否可以在不引入命名类型变量的情况下声明此函数？如果是这样的话，是怎么做的？
浏览 2提问于2015-07-17得票数 5
回答已采纳
1回答
为什么Array.count不是UInt而不是Int
Array.count怎么可能是阴性的呢？
浏览 0提问于2016-06-23得票数 11
假设我为他们提供了一个POCO和一个List类：
class MyClass
{...}
class MyClasses : List<MyClass>
{...}
以及将IEnumerable<MyClass>映射到MyClasses列表的下列方法：
public static TListType ToListOfType<TListType, TItemType>(this IEnumerable<TItemType> list) where TListType : IList<TItemType>, new()
{
浏览 1提问于2019-08-27得票数 4
回答已采纳
2回答
如果我有一个模板类和如下模板函数
template <class T> T getMax (T a, T b) {
return (a>b?a:b);
}
template <class T> class GetMax {
public:
static T getMax(T a, T b) {
return (a>b?a:b);
}
};
为什么这些是无效的？
x=getMax(1, '2');
但这些都是有效的
x=getMax(1,2);
这是否意味着
浏览 3提问于2010-02-01得票数 0
回答已采纳
2回答
奇怪的参数化方法
、、、、
public class StrangeParamMethod {
static void f(ArrayList<String> list){};
public static void main(String... args){
ArrayList<String> list = new ArrayListGenerator().list(); //assigns without problems
f(new ArrayListGenerator().list()); //compile error
}
}
浏览 0提问于2013-05-30得票数 0
回答已采纳
2回答
在中，以下代码无法工作，因为编译器无法推断dt参数的类型：
> Option.map (fun dt -> dt.Year) (Some(DateTime.Now));;
error FS0072: Lookup on object of indeterminate type.
如果我们显式地指定类型，那么一切都可以正常工作：
> Option.map (fun (dt:DateTime) -> dt.Year) (Some(DateTime.Now));;
val it : int option = Some(2008)
或者我们可以使用管道操作符来“帮助”编译器推断
浏览 13提问于2011-08-19得票数 3
3回答
C++中auto关键字的混淆
、、、、
下面的代码使我感到困惑：
#include <iostream>
using namespace std;
int *foo()
{
//Operation
}
int main ()
{
auto int ret = foo();
}
我在GCC下面编译了上述代码，但是我得到了以下错误：
error: two or more data types in declaration of 'ret'
auto int ret = foo();
但是，如果我删除int类型，如下所示：
auto ret = foo();
然后它就
浏览 10提问于2017-04-12得票数 24
回答已采纳
为什么java允许对象声明不包含类型
Map<Integer, Set<Integer>> foos = new HashMap<>();
Map<Integer, Set<Integer>> foos = new HashMap<Integer, Set<Integer>>();
第二个声明比第一个声明是正确的，但是为什么java在编译期间不抛出警告。如何迫使编译器抛出这样的错误。
浏览 8提问于2015-12-30得票数 1
回答已采纳
1回答
我正在尝试创建一个将类映射到字符串的ImmutableMap (注意:当然，这只是一个例子！)但是，就像
ImmutableMap<Class<?>, String> map = ImmutableMap.of(
Integer.class, "Integer",
Date.class, "Date"
);
给出以下错误
Type mismatch: cannot convert from ImmutableMap<Class<? extends Object&Comparable<?>
浏览 1提问于2013-10-02得票数 10
回答已采纳
2回答
给定一个如下所示的声明类型
public class EqualityProbe<T>
{
public EqualityProbe( Func<T> functionToGetActualValue, T expectedValue, string probeDescription) {..}
客户端代码：
// cannot infer bool here
new EqualityProbe(CanConnectToMachine, true, "Probe machine is online")
// compiles fine
new Equ
浏览 0提问于2011-04-20得票数 3
回答已采纳
我觉得在上试试会更清楚
function identity<T extends (...args: any[]) => any>(fn: T): T {
return fn;
}
function fn(args: {
cb: (foo: number) => void,
}) {}
fn({
cb: identity((foo /* infers number */) => {}),
});
function fn2(args: {
cb?: (foo: number) => void,
}) {}
fn2({
cb: iden
浏览 0提问于2021-04-03得票数 7
1回答
我已经将我的用例简化为这个操场：
下面是相同的代码：
function createEntityComponentSystem<
Config extends {
[SystemName in SystemNames]: {
createComponent: () => Record<string, any>;
run: (
component: ReturnType<Config[SystemName]['createComponent']&
浏览 2提问于2022-07-08得票数 1
考虑以下代码：
export const func = (foo?: number) => {
const isNumber = typeof foo === 'number';
return isNumber ? Math.max(foo, 0) : 0;
};
在这里，TS抱怨undefined不能应用于Math.max。另一方面，这种方法工作得很好：
export const func = (foo?: number) => {
return typeof foo === 'number' ? Math.max(foo, 0) :
浏览 2提问于2019-11-28得票数 0
回答已采纳
有人能解释一下下面的代码吗，我在这里没有任何问题。但是，我想知道它为什么会起作用。
为什么这个CREATETYPE知道名称空间是未定义的，从而创建正确的类型？
type CREATETYPE<K extends string, NS extends string> = NS extends `${infer NS}` ? `${NS}/${K}` : K;
function generateDynamicTypes<T extends string, NS extends string>(keys: T[], namespace?: NS): { [K in T]:
浏览 3提问于2020-12-15得票数 1
回答已采纳
给定以下代码： delegate void TestEventHandler();
event TestEventHandler TestEvent;
void Main()
{
TestEvent += () => Console.WriteLine("Sync");
TestEvent += async () => await AsyncHandler();
TestEvent();
}
private async Task<int> AsyncHandler()
{
await Task.
浏览 12提问于2020-10-23得票数 3
回答已采纳
我想在它的类型参数中设置以下特征反变体。
trait Preferences[-A] {
def ordering: Ordering[A]
}
上述解决方案的问题是，在Scala标准库中，Ordering在其类型参数中是不变的。这篇文章讨论了为什么会出现这种情况。
我对我的问题提出了两种解决办法。第一个解决方案是使参数A和上界。
trait Preferences[-A] {
def ordering[B <: A]: Ordering[B]
}
二是使用implicit。
trait Preferences[-A] {
def ordering(implicit ev:
浏览 0提问于2018-05-29得票数 2
回答已采纳
当S和T不同时，这是可行的：
public static void Fun<S, T>(Func<S, T> func)
{
}
Fun((string s) => true); //compiles, T is inferred from return type.
但,
public static void Fun<T>(Func<T, T> func)
{
}
Fun(t => true); //can't infer type.
在第一个例子中，既然T是从lambda表达式的返回类型中推断出来的，那么第二个例子中
浏览 0提问于2013-02-13得票数 9
回答已采纳
1回答
我读到了关于如何在中使用Axios的这个TypeScript，并且我有一个关于方法声明的问题，例如：
get<T = any, R = AxiosResponse<T>>(url: string, config?: AxiosRequestConfig): Promise<R> {
return this.http.get<T, R>(url, config);
}
delete<T = any, R = AxiosResponse<T>>(url: string, config?: AxiosReq
浏览 13提问于2022-01-29得票数 0
回答已采纳
为什么在这里不抱怨：
function print<G>(params: G[]): G {
return params[0];
}
console.log(print(["1",false,"2",5]))
数组元素有不同的类型，不是吗？
浏览 11提问于2022-09-29得票数 1
回答已采纳
请参阅下面的片段
declare function foo<T>(a: T): (b: T) => boolean;
foo(111)(222); // T inferred as 'number'
foo('hello')('bye'); // T inferred as 'string'
declare function bar<T extends number | string>(a: T): (b: T) => boolean;
bar(111)(222);
浏览 2提问于2018-11-02得票数 1
回答已采纳
2回答
许多LINQ方法的形式是
MethodName<Type>();
在调用这些方法时，Type似乎是可选的。例如，这两种说法似乎产生了相同的结果：
var a = someStringList.First<string>();
var b = someStringList.First();
为什么我要键入该语句的<string>部分？在某些情况下，它有效用吗？
浏览 4提问于2014-11-20得票数 0
回答已采纳
鉴于这一通用功能：
<T> List<T> function() { return null; }
为什么这个编译
List<String> l = function();
虽然，但这不是
List<String> l = (List<String>) function();
浏览 11提问于2011-06-30得票数 14
回答已采纳
在函数中，我希望使用泛型和传递的运行时值推断arg的类型。
它似乎在一个简单的情况下工作，但当涉及多个泛型时却失败了。
下面是我的代码，演示了这个问题：
// this simple case works
function fn1 <Arg> (args: {
provideType: () => Arg,
consumeType: (arg: Arg) => void
}): void {
const one = args.provideType()
args.consumeType(one)
}
fn1({
provideType: (
浏览 4提问于2021-05-25得票数 1
回答已采纳
我有一个函数，它采用泛型类型参数。很简单：
private static void Run<T>(IList<T> arg)
{
foreach (var item in arg)
{
Console.WriteLine(item);
}
}
我发现不需要指定类型参数就可以调用这个函数：
static void Main(string[] args)
{
var list = new List<int> { 1, 2, 3, 4, 5 };
//both of the following calls
浏览 5提问于2014-10-01得票数 0
回答已采纳
我觉得很奇怪
use std::sync::Arc;
trait Fruit {}
struct Pear {}
impl Fruit for Pear {}
fn main() {
let pear = Arc::new(Pear {});
let cloned = Arc::clone(&pear);
let cloned_casted: Arc<dyn Fruit> = cloned;
}
编译，但是
use std::sync::Arc;
trait Fruit {}
struct Pear {}
impl Fruit for Pear
浏览 1提问于2021-05-10得票数 5
回答已采纳
好吧，TypeScript让我感到困惑的另一件事：
通常，我们可以跳过类型注释，因为我们知道TypeScript会为我们推断类型。
但是，无论是否使用类型注释，在某些情况下确实会产生真正的不同：
const a = 'a' // 'a'
// ^?
const c = [a] // string[]
// ^?
const a1 = 'a' as const // 'a'
// ^?
const c1 = [a1] // 'a'[]
// ^?
const a2:'a'
浏览 4提问于2022-08-10得票数 2
回答已采纳
1回答
模板参数可以是常量表达式(§C.5)、具有外部链接的对象或函数的地址(§9.2)，也可以是指向成员的非重载指针(§15.5)。用作模板参数的指针必须是表单&ooff，其中ooff是对象或函数的名称，或者是表单ff的名称，ff是函数的名称。指向成员的指针必须是表单&XX::ooff，其中ooff是成员的名称。特别是，字符串文本作为模板参数是不可接受的。
这是来自stroustrup的书。什么是允许的，什么是不允许的？为什么字符串文字是不可接受的？
我的理解是，编译器应该能够推断参数的类型，这样它就可以在内部为给定类型生成代码。谢谢你的帮助
浏览 0提问于2012-02-14得票数 0
回答已采纳
为什么Typescript人员要创建infer关键字？根据的说法，这是一个如何使用它的示例：
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;
我不明白为什么需要这样做。为什么不能这样：
type ReturnType<T> = T extends (...args: any[]) => R ? R : any;
为什么这个不起作用？为什么infer关键字是必需的？
浏览 2提问于2020-02-05得票数 68
回答已采纳
scala> def b(x:Int) = { x match { case 1 => 1; case 2 => 3.5; case k => throw new Exception("Nothing")}}
b: (x: Int)AnyVal
scala> def c(x: Int) = if (x == 1) 1 else if (x == 2) 3.5 else throw new Exception("Nothing")
c: (x: Int)Double
这就是我从REPL那里得到的。为什么scala编译器将函数b的返回
浏览 0提问于2015-01-05得票数 0
回答已采纳
我想知道为什么scala不能推断出方法参数的类型，我可以看到在haskel (它也有类型推断)中可以做到这一点。那么为什么不是scala呢？
浏览 6提问于2010-10-06得票数 4
回答已采纳
1回答
我正在构建一个解析服务器响应的通用方法。也许我想做的太花哨了，但在另一方面，我将在许多项目中使用它，所以也许花一些时间在它上是值得的，让我们来描述一下我遇到的问题。
我实现了响应框架，这是一个泛型类，我将在其中创建对象。对象是M的类型
class ApiResponse<M: Mappable> {
required init(response: Any) {
// Here I'd like to do mapping according to the holding type
}
}
然后，对于我创建的每个端点，该类定义了服务器返回的
浏览 3提问于2016-12-10得票数 3
试图理解为什么Java在使用Class参数传递类型信息时，在推断类型和检查类型边界方面表现不同。
以下面的代码为例：
public class TypeTest<T extends Number> {
Class<T> type;
TypeTest(Class<T> type) { this.type = type; }
static <S extends Number> void sMethod(Class<S> type) {}
<S extends Number> void m
浏览 0提问于2012-10-19得票数 0
回答已采纳
8回答
类中的var给出了错误
、、、、
可能重复：
class A {
string X;
}
// Proper
class A {
var X;
}
// Improper (gives error)
为什么，我不能让var类型变量在Class中声明，为了实现它可以做些什么，或者什么是替代的？
在函数/方法中，我可以声明一个var类型变量，那么为什么不能，我在类中这样做呢?
谢谢。
浏览 2提问于2010-12-21得票数 16
回答已采纳
当我有一个包含变量的抽象类时，如下所示
abstract class Book {
val id : Int
val name : String
val book : Long
}
在没有类型的情况下声明它们，
abstract class Book {
val id
val name
val book
}
意思是，错误的值声明。If方法可以在没有显式类型注释的情况下声明。
abstract class Book {
val id : Int
val name : String
val book : Long
def aMethodWi
浏览 26提问于2017-01-19得票数 4
回答已采纳
我将'noImplicitAny‘的值设置为true。我认为'any‘应该应用于函数的返回值，但实际上并非如此。未出现错误。 为什么noImplicitAny不适用于函数的返回值？ 来自tsconfig.json {
"noImplicitAny": true
} 下面的函数不会引发任何noImplicitAny错误。 function abc () {
return '1'
} 应该是这样的吗？ function abc (): any {
return '1'
} 谢谢。
浏览 45提问于2019-01-11得票数 1
回答已采纳
3回答
我对Java的(7)行为有点困惑：
假设我有一个用于Foo的ctor，它以Map<String,String>作为参数。以下代码：
new Foo(ImmutableMap.of());
产生错误：
java:不适用于Foo(com.google.common.collect.ImmutableMap)构造函数Foo(java.util.Map)的合适构造函数
试图显式转换到Map<String, String>并不像编译器抱怨类型不可转换那样好。但是，这种方法工作得很好：
Map<String, String> map = ImmutableMap
浏览 0提问于2014-10-14得票数 3
回答已采纳
1回答
我已经设法实现了一个模拟过滤器函数(经过多次尝试)
filter' :: (Num a, Eq a) => (a -> Bool) -> [a] -> [a]
filter' a [] = []
filter' a (x:xs) = if a x
then x : filter' a xs
else filter' a xs
我不清楚的是类型声明
filter' :: (Num a, Eq a) => (a -> Bool) -> [a] -> [a]
-- filter' (<
浏览 0提问于2016-02-19得票数 2
下面是一个非常基本的设置，其中我有一个类App来处理HTTP请求(假设是这样的，HTTP服务器的代码如下所示)。
interface CallbackError {
error: string;
}
type HandlerCallback = <T>(payload?: CallbackError | T) => void;
type Handler = (callback: HandlerCallback) => void;
// omitted code here is a server that calls handleRequest on a re
浏览 3提问于2019-12-29得票数 1
回答已采纳
1回答
我使用的是scala-2.8.1和Scalaz5.0。有谁能确切地解释为什么在一种情况下可以推断PartialApply1Of2，而在另一种情况下不能推断？
scala> 1.success[String] <|*|> "Bah".fail[Int]
res1: scalaz.Validation[String,(Int, Int)] = Failure(Bah)
尽管如此(!)方法<|*|>在MA上，它有一个类型参数，而不是两个(就像Validation那样)。我不能让unicode在我的想法REPL中工作，所以这里是这样的：
object te
浏览 1提问于2010-12-24得票数 0
回答已采纳
此代码：
interface ISomething {
x: "a"|"b";
}
function f() {
return {
x: "a",
};
}
function y(s: ISomething) {
}
const obj = f();
const obj2 = {
x: "a",
};
const obj3 = "a";
y(obj); // Doesnt work
y(obj2); // Doesnt work
y({x: obj3}); // Works
不
浏览 4提问于2017-09-21得票数 0
回答已采纳
你能解释一下为什么第一个返回类型的代码不能编译吗？消息是：Type mismatch: cannot convert from List<capture#1-of ? extends Object> to List<String>。
在第二种情况下是否插入了显式强制转换？
public class GenericsTest {
private String getString() {
return null;
}
public List<String> method() {
浏览 2提问于2011-10-12得票数 12
回答已采纳
1回答
我试着使用阅读器Monad
m = Map.fromList [("a","b"), ("b","c"), ("c","d"), ("d","e")]
f x m = fromMaybe "default value" $ Map.lookup x m
lookup' x = f x m
现在我想创建一个阅读器monad：
r = reader lookup'
-- Non type variable argument:
-- i
浏览 0提问于2017-06-27得票数 2
如果我有
val flag = true
为什么类型的结果是Product with Serializable with Animal而不是Animal
class Animal(name : String)
case class Herbivore(name : String) extends Animal(name)
case class Carnivore(name : String) extends Animal(name)
val cow = new Herbivore("cow")
val tiger = new Carnivore("tiger"
浏览 0提问于2019-06-07得票数 5
回答已采纳
我想知道为什么F#编译器允许以下内容
type MyMath() =
member this.Add a b = a + b
添加方法的类型及其参数是什么？如果我将其编译到库中，并尝试在C#中使用它，它会期望哪种类型的参数？
当涉及到类的方法时，F#不应该要求您显式指定类型吗？
浏览 6提问于2014-06-25得票数 1
回答已采纳
1回答
我想学习使用条件类型试图推断签名中类型的类型的算法。
示例1:这里的正确地推断了T为number
type Args<T> = { value: T }
function foo<T>(args: Args<T>) { return args; }
// correctly inferred as foo<number>
foo({ value: 123 });
示例2:条件类型和推断unknown
type StringOrNever<T> = T extends string ? string : never;
type Ar
浏览 1提问于2022-08-29得票数 1
回答已采纳
3回答
使用字符串文本的自动
、、、、
#include <iostream>
#include <typeinfo>
int main()
{
const char a[] = "hello world";
const char * p = "hello world";
auto x = "hello world";
if (typeid(x) == typeid(a))
std::cout << "It's an array!\n";
else if (type
浏览 4提问于2012-08-18得票数 21
回答已采纳
chainQuery :: (Enum a, Integral a, Ord b) => a -> b -> [c]
chainQuery n min = map length $ filter beatingLength $ map chain [1..n]
where
beatingLength :: [a] -> Bool
beatingLength xs = length xs > min
chain :: (Integral a) => a -> [a]
chain n
| n <= 1
浏览 2提问于2011-08-21得票数 1
回答已采纳
我有一个简单的问题，为什么Scala编译器不能自己推断函数参数类型？
浏览 2提问于2017-03-28得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
