如何声明函数(类型误解可能) - 腾讯云开发者社区

文章/答案/技术大牛

发布

2回答

如何声明函数(可能是对类型的误解)

haskell

我需要一个工作原理如下的函数：some a b | otherwise = a

浏览 0提问于2010-12-06得票数 2

回答已采纳

1回答

不通过GADT匹配和功能依赖推断的类型

haskell

我对Haskell类型系统有一个误解，我认为这种误解可能很常见，但我找不到对这个简单示例显示的特定类型检查失败的解释： {-#LANGUAGE GADTs, FunctionalDependencies我认为，执行这样的演绎是声明函数依赖的全部意义。

浏览 1提问于2022-05-23得票数 4

回答已采纳

2回答

官方文档页上的函数类型变量声明-输入错误

在golang.org博客中，我们有声明函数类型变量的语法。func(int, int) intf func(func(int,int) int, int) func(int, int) 我是个新手，我可能误解了一些东西

浏览 0提问于2017-09-22得票数 0

回答已采纳

2回答

为什么一些三便士-gui玻璃钢组合器在MonadIO monad上运行，而不是纯的？

haskell、frp、reactive-banana、threepenny-gui

首先是免责声明，由于我对Haskell的了解不是很深入，所以我可能完全误解了threepenny-gui的工作方式，所以对我的断言持保留态度。:-)stepper :: MonadIO m => a -> Event a -> m (Behavior a) stepper是否必须在某种类型的IO monad上操作(因此它不是纯的)，或者我在这里误解了什么？对我来说，这使得构建事件图的代码没有反应式香蕉好得多，因为人们必须使用IO monad，而

浏览 5提问于2014-04-13得票数 7

2回答

在哪里声明实体声明中使用的常量或类型？

types、entity、constants、declaration、vhdl

如果我没有完全误解这一点，那么常量或类型不能在文件的顶层声明。只有包、实体、架构等。可以在那里声明。它们可以在实体中声明，但不能在port和泛型子句之前声明。通常，您可能希望定义一个类型或常量，以便在实体的port或泛型子句中使用，但由于这不能在文件的顶级声明，也不能在实体内部声明，那么应该在哪里声明呢？

浏览 0提问于2011-05-29得票数 3

回答已采纳

3回答

如果指定基类，为什么不能使用泛型调用参数化构造函数

c#、.net、generics、constructor、compiler-errors

ParameterClass a = new ParameterClass(1);} 我得到一个新的数字，编译器说我没有CS0304 ()限制，但我只想调用一个在A上定义的构造函数，因为ParameterClass总是A，所以编译器可以确保A(整数)构造函数总是存在的。

浏览 1提问于2013-02-13得票数 2

回答已采纳

2回答

如何在多维数组Java中实现不同的类型

java、arrays、multidimensional-array

来自Java类的我不理解的问题：我如何声明这一点？我以为你不可能有不同的类型，所以可能我误解了问题？谢谢你的帮助。

浏览 1提问于2015-05-07得票数 1

1回答

类型记录不检查接口声明的函数参数类型

typescript

在编译下面的代码时，我预期会出现两个错误，但是类型记录编译时不会出现任何错误。}foo = new Foo(); console.log("Hi");预期错误1: IFoo.Bar需要一个函数参数但是，当Foo实现IFoo时，Foo.Bar被声明为不带参数的函数参数。我希望这是一个类型错误。预期错误2: foo为IFoo类型。调用foo.Bar时，函数参数不

浏览 3提问于2016-02-21得票数 8

回答已采纳

2回答

在函数参数和返回类型中使用模板

c++

我试图在函数参数中使用带有模板的struct，并在声明函数时返回类型。value; 当我尝试上面的代码时错误：“t”未在此范围内声明但是，当使用具体的data_type声明时，它会编译。my_struct<float> func(my_struct<float> input_1, my_st

浏览 2提问于2021-07-09得票数 0

回答已采纳

1回答

ADL不查找静态成员函数吗？

c++、argument-dependent-lookup

这是来自的后续问题，@Davidíguez在该问题中说："ADL将查看类型的封闭命名空间，并在内部查看类型本身的名称空间“。我可能误解了他想说的话，但我正在尝试这个例子： static void bar(foo* z){} foo* z;bar(z);它不编译，产生错误“‘bar’在这个范围内没有声明”。是否ADL不考虑静态成员函数？我的意思是，在示例关联类中是foo，所以ADL不会查看类中的

浏览 3提问于2013-02-06得票数 7

回答已采纳

1回答

为什么空类类型构造函数的异常规范是不抛出的异常规范？

c++、c++17、language-lawyer

}; X::X(const X&)如果每个潜在构造的类类型M(或其数组)的子对象都有一个复制构造函数，其第一个参数为const M&或const volatile根据，类测试的隐式声明复制构造函数是Test::Test(const X&)，因为没有任何类类型子对象。因此，类似于异常规范，类X的隐式声明构造函数或在其第一次声明中默认

浏览 7提问于2020-07-20得票数 0

回答已采纳

1回答

函数奇异结果

我认为我在这里的错误是对函数如何在R中运行的误解，但我确实有些担心，这可能会给我一些奇怪的结果。example(x =5)我能理解发生了什么，但我不太明白为什么。就是用..。这个案子的做法不好吗？

浏览 3提问于2020-07-02得票数 0

回答已采纳

1回答

智能指针类的选择:简单性与正确的作业工具

design、c++、constructors、smart-pointer

最终，每个信号量中只有一个，尽管容器可能需要进行一些移动。所以从理论上讲，std::unique_ptr似乎是正确的™。然而，如果我这样做了，我将需要手动编写这个类的所有移动构造函数。在我的经验中，要正确处理这些代码可能是很棘手的，而且对于类的更改来说也很脆弱。我们现在“拥有”所有移动构造函数的代码，并且必须保持它们的最新，并且现在和永远正确地编码。这里的情况不会是这样，所以它可以说是误导人的，而且很可能存在一些不必要的内部开销。some_custom_movable_semaphore_type>

浏览 0提问于2022-03-29得票数 -1

1回答

为什么常量变量是可修改的？

c++、operator-overloading

我正在学习一本关于操作符重载的示例，它让我对通过“常量值”返回(例如使用operator+)感到疑惑。据我所知，如果我以const的形式返回任何东西，它就不能在以后进行修改。假设我有一个粗略的例子：using namespace std; private: public: const Temp operator+(const Temp& rh

浏览 0提问于2018-01-23得票数 4

1回答

TypeScript类型数组声明错误

typescript

对于给定的类，我在构造函数中声明几个私有变量，并进行一些调用。当在构造函数中包含类型化数组声明时，我可以在类型化数组声明中获得一个No Provider错误，在构造函数之外声明它时没有错误。我是不是误解了一个概念？这两个实现看起来是相同的，它们的行为应该完全相同。

浏览 3提问于2016-08-04得票数 0

回答已采纳

1回答

尝试使用带参数变量的函数时发生的C++内存冲突错误

c++、parameter-passing、variadic-functions

我想要创建一个函数，它会将信息记录到文件中。这个函数需要获得一些参数，并且应该对它们进行迭代，并将它们打印到控制台。va_arg(arguments, std::string); } } 当我试图像这样调用这个函数时

浏览 6提问于2020-08-31得票数 0

回答已采纳

1回答

哪些类型的问题有助于“较高类型的多态性”更好地解决？

haskell、polymorphism、higher-kinded-types

当我阅读中的一些章节时，我偶然发现：知道“基本的”ADT，我在这里有点困惑，我的“猜测”是，在parens中的部分暗示了一个“参数”/“动态”一元数据构造函数f？那么，任何“可以接受”类型* -> *的数据构造函数都是a吗？我的想法是

浏览 0提问于2017-02-21得票数 7

回答已采纳

1回答

是否可以在Poly ML中检查某个值是否具有特定类型？

types、boolean、ml、polyml

在Poly ML中，如果x是'a‘类型，那么如何编写返回"true“的函数，如果不是，则返回false？

浏览 4提问于2012-11-16得票数 0

4回答

C#多态性的概念

c#、polymorphism

因此，我在下面总结出“规则”：使用“重写”，将在运行时确定将调用哪个函数。程序将根据当前对象的实际类型选择正确的函数。(如上所述，f的运行时类型为子，因此它调用子的显示。)使用“新”修饰符，将被调用的函数将确定为compiled.The程序将选择对象的声明类型来调用其函数。(如上所述，f的声明类型是父类型，因此使用“新”修饰符使输出显示“父”。以上就是我对polymorphism.Any<em

浏览 7提问于2013-01-16得票数 0

回答已采纳

1回答

关于ODR、声明和定义的几个问题

c++、class、static-members、definition、one-definition-rule

我知道声明和定义的基本知识，但在C++中似乎有很多不一致或“例外”，这使得它不和谐，至少对我来说是这样。或者，我误解了什么。因此，在头文件中，我们声明一些变量，定义类类型(也听说过“类声明”，不知道哪个更准确)；在每个类中，我们都声明成员变量和函数。然后在一些..cc/..cpp文件中，我们只定义成员函数来实现类。当一个.cpp文件#include的头文件定义了一个类类型(注意，该头文件中的类类型定义似乎“

浏览 5提问于2015-07-07得票数 1

点击加载更多