通过方法类型参数分配给类型成员的值会破坏类型等价性
。在云计算领域中，类型等价性是指两个类型在结构上完全相同，可以互相替代使用。当通过方法类型参数将值分配给类型成员时，可能会导致类型成员的值与原始类型不一致，从而破坏了类型等价性。
这种情况下，可以考虑使用其他方式来避免破坏类型等价性，例如使用接口来定义类型成员，或者使用泛型来处理不同类型的参数。接口可以提供一种抽象的方式来定义类型成员的行为，而泛型则可以在编译时保持类型的一致性。
在云计算中，这个问题可能会在开发过程中遇到，特别是在处理不同类型的数据时。为了避免破坏类型等价性，可以使用腾讯云提供的相关产品和服务。例如，可以使用腾讯云的函数计算（Serverless）服务来处理不同类型的数据，通过函数参数的类型来保持类型等价性。此外，腾讯云还提供了云原生应用开发平台（Tencent Cloud Native）和云数据库（Tencent Cloud Database）等产品，可以帮助开发人员在云计算环境中更好地处理类型等价性的问题。
更多关于腾讯云相关产品和服务的信息，可以访问腾讯云官方网站：https://cloud.tencent.com/
相关·内容
1回答
当使用requires子句的类模板的成员在类之外定义时，如果没有指定requires，则gcc不会抱怨，而clang会抱怨。
考虑下面的代码片段：
#include <concepts>
template<typename Container>
requires std::integral<typename Container::value_type>
class Foo {
public:
void func();
};
template<typename Container>
void Foo<Container&g
浏览 11提问于2020-08-28得票数 6
回答已采纳
经过一段时间的计算，我发现编译器如何从一组“标记”(非类型模板args)中推断模板参数是非常有趣的。但看起来编译器只理解“逐字节”相等规则。
我的意思是这个密码：
struct S1 {
constexpr S1(int v) : _v(v)
{};
constexpr bool operator == (const S1& other) { return true;}
int _v;
};
template <S1 Tag, typename ValueType>
struct TagedValue { ValueType value;
浏览 7提问于2022-11-03得票数 2
回答已采纳
2回答
如果我在某个对象中定义了一个函数，如下所示：
var myobject={
myfunction:function(){//mycode here}
}
通常您可以使用以下方法访问该函数：
myobject.myfunction()
但如果我想用
myobject["myfunction"]
试着这样做，实际上函数没有被调用，我如何使用括号符号调用函数？
浏览 3提问于2014-01-17得票数 4
回答已采纳
假设模板类型包含任何类型的结构模板参数。为了示例的目的，定义了value_type<auto V>。
我们还声明了一个包含一些成员积分类型的constexpr structure，其中包含一些自定义构造函数，这些构造函数使用一个非平凡的表达式(需要更多的内存副本)来设置成员值。
尝试将结构输入value_type，并将其与使用std::is_same的另一个实例进行比较。
举例说明情况的示例代码：
#include <iostream>
#include <type_traits>
template <auto V>
struct value_
浏览 4提问于2022-07-15得票数 1
回答已采纳
2回答
我在玩宏(不是)
#include <iostream>
using namespace std;
#define DEF_ATTRIBUTE(type, name) type name;\
typedef void (*type_name_t)(CLASS_NAME*);\
type_name_t ptr_type_name;\
void type_name(){( ptr_type_name = &CLASS_NAME::type_name);}\
class Test
{
public:
#define CLASS
浏览 3提问于2010-11-26得票数 1
回答已采纳
在c++20中引入了新的三路比较算子<=> (宇宙飞船操作符)，它可以得到以下四个值：
std::strong_ordering::less
std::strong_ordering::equivalent
std::strong_ordering::equal
std::strong_ordering::greater
然而，当我在代码片段下面运行时，似乎相等和等效都是一种东西，所以我想知道它们之间的区别是什么，以及在哪种情况下我们应该更喜欢彼此。
#include <iostream>
#include <compare>
int
浏览 6提问于2021-06-17得票数 3
回答已采纳
1回答
在的Project教程中，显示了一种调用技术：
varargs的一个常见模式是将交替的字符串值对作为参数，通常意味着gobject属性值。在这种情况下，您可以写属性:值，例如: actor.animate (AnimationMode.EASE_OUT_BOUNCE，3000，x: 100.0，y: 200.0，rotation_angle_z: 500.0，不透明度: 0)；
相当于：
actor.animate (AnimationMode.EASE_OUT_BOUNCE，3000，"x"，100.0，"y"，200.0，“旋转角z”，500.0，“不透明
浏览 1提问于2016-01-28得票数 1
回答已采纳
1回答
我正在将delphi应用程序转换为C#。有一堆成堆的记录，根据几周前我问过的一个类似的问题，最好改为上课。然而，我被告知我需要将它们转换为结构，我可能需要一些帮助。我将使用BinaryReader从文件中读取数据，并将值赋值给结构中的字段。
*注意，我正在阅读的文件是用Delphi和打包记录制作的。
下面是一个示例结构：
德尔菲：
Testrec = packed record
now: TDateTime;
MinLat: longint;
MinLong: longint;
Firsttime: TDateTime;
MinAlt: single;
浏览 4提问于2016-03-03得票数 1
回答已采纳
2回答
模板的静态成员
、、
还有一个类似的问题，但它与带有typename关键字的模板相关。
给定一个模板：
template < int X, char Y >
struct foo
{
char myArray[ X <= 0 ? 1 : X ];
static const char Z = Y;
}
这个静态成员是否会在foo的所有实例之间共享，或者编译器是否会看到模板已被不同的参数调用并创建一个新类型？
浏览 2提问于2013-07-17得票数 0
回答已采纳
我对TypeScript编译器有问题。为什么下面的代码片段没有显示任何错误？
class A {
}
class B {
myVar:string;
}
class Foo {
bar(a:A){}
doSomething(){
this.bar(new B());
}
}
既然B不是A，不应该禁止带B的酒吧吗？
浏览 2提问于2014-11-17得票数 2
回答已采纳
2回答
让我们使用以下简化代码：
class Base {
self =>
type Actual <: Base {type Actual = self.Actual}
def me: Actual = this.asInstanceOf[Actual]
}
class A extends Base {
override type Actual = A
}
class B extends A {
override type Actual = B
}
println((new B).me)
我希望me总是有一个正确的返回类型(对于fluent接口)。不幸的是，这
浏览 4提问于2017-04-21得票数 1
1回答
重写嵌套内部类中的运算符
、、、、
我需要在一个嵌套类中重写Equals操作符(因此，也就是GetHashcode方法)，其可访问性为internal。
当我尝试这样做时，编译器会抱怨我不能用一个public方法覆盖等于(一个private成员)。但是我无法使重写public，因为类本身是internal，并且是嵌套的。
一个人是怎么做到的？如何在不是Equals和internal的类中覆盖public和internal(事实上，是嵌套和internal)？
浏览 1提问于2014-06-29得票数 3
回答已采纳
我正在读一本书，上面写着：
如果要发送参数的函数具有参数类型，即抽象基类(ABC)，则按值传递无效。您必须通过引用传递参数(它将是一个派生类)。
我的问题是：
为什么不能通过值传递派生类参数？
，C++是否有某种“内部”的东西，需要它作为参考？
这与动态绑定的工作方式有关吗？
浏览 3提问于2013-06-01得票数 2
回答已采纳
4回答
在这个简化的例子中，我的问题是:我是否在Action::setUser()内执行法律任务？
class User {
private:
int age;
public:
int getAge() { return age; }
};
class Action {
private:
User user;
public:
void setUser(User &u) {
user = u;
}
};
int main() {
User u;
Action a;
a.setUser(u);
return 0;
}
是什么让我
浏览 1提问于2013-02-17得票数 2
回答已采纳
很好地解释了初始化列表，但没有解释为什么在ctor主体的赋值之前创建变量的额外副本，但是在通过初始化列表分配时没有创建额外的副本。
我甚至遇到了使用++i而不是i++的建议，因为前者避免在分配之前创建临时的I。在人体内分配的POD也是一样的吗？在赋值发生之前就创建了一个临时变量？
换句话说，为什么编译器需要创建一个变量的额外副本？为什么不能直接给变量赋值呢？
为什么？
浏览 3提问于2011-07-13得票数 5
回答已采纳
考虑到以下代码：
type abc = "a" | "b" | "c"
type af = "a" | "f"
type T0 = Extract<abc, af>;
// type T0 = "a"
type T2 = abc & af
// type T0 = "a"
Extract和&有什么区别吗？
浏览 4提问于2022-03-16得票数 1
回答已采纳
3回答
我想知道将double (*)(double)转换为double(*)(...)是否安全，这将用于泛化可能具有指向多个函数的指针的代码。
到目前为止，我已经在向量中存储了传递给函数的所有东西，我想知道是否有一种方法在广义代码中调用函数(同时传递正确的参数数)？我的意思是：
//while initializing
mFunction = sin;
//later in code
double (*generalized)(...) = mFunction;
for(i=0;i<args.size();i++)
pusharg(args[i]);
call(generalized)
浏览 5提问于2011-12-25得票数 1
回答已采纳
3回答
指向结构指针的指针
、、、
我有以下代码
#include <stdlib.h>
#include <stdio.h>
typedef struct {
int age;
} data;
int storage (data **str) {
*str = malloc(4 * sizeof(**str));
(*str)[0].age = 12;
return 0;
}
int main() {
data *variable = NULL;
storage(&variable);
return 0;
}
我是从网站上拿来的。我想
浏览 2提问于2016-03-22得票数 4
回答已采纳
我不明白为什么在std::map中分配给迭代器->秒值会修改映射中的值。
#include <typeinfo>
#include <map>
#include <iostream>
int main() {
std::map<int, int> lol;
lol[2] = 33;
auto it = lol.find(2);
it->second = 91; // This changes the map's value
std::cout << typeid(it->secon
浏览 2提问于2017-12-14得票数 1
回答已采纳
4回答
我知道非类型的模板参数应该是一个常量的积分表达式。有人能解释一下为什么会这样吗？
template <std::string temp>
void foo()
{
// ...
}
error C2993：'std::string‘：非类型模板参数'temp’的非法类型。
我明白什么是常量积分表达式。不允许非常数类型(如上面的代码片段中的std::string )的原因是什么？
浏览 2提问于2011-04-16得票数 98
回答已采纳
1回答
C#黑客：“这个”的任务
、、、
所有C#初学者都知道class是引用类型，struct是值类型。建议将结构用作简单存储。它们也可以实现接口，但不能从类派生，也不能发挥基类的作用，因为它们具有“值”的性质。
假设我们揭示了一些主要的差异，但有一个问题困扰着我。请看以下代码：
public class SampleClass
{
public void AssignThis(SampleClass data)
{
this = data; //Will not work as "this" is read-only
}
}
这是非常明显的--当然，我们不允许更改对象自己的指
浏览 1提问于2014-01-02得票数 6
回答已采纳
1回答
如果你能给我答复，我会很高兴的。我知道Java只是通过值传递的，而C++是通过值传递的，也是通过引用传递的。我会在下面张贴一些代码，以便你了解我的困惑是什么。
在C++中按值传递：
void modify(int x, int y){
x=10;
y=20;
}
void main(){
int a=5,b=8;
cout << a; //outputs 5
cout << b; //outputs 8
modify(a,b);
cout << a; //still outputs 5
cout << b; //s
浏览 0提问于2019-10-05得票数 0
7回答
没有得到这份遗产
、、
为什么我不能访问S类方法？为什么我能够在类M中创建同名的方法呢？
public class S
{
public S()
{
}
public int myFunc(int a, int b)
{
return a + b;
}
}
public class M:S
{
public M()
{
}
public string myFunc(int a, int b)
{
return (a + b).ToString();
}
}
public class
浏览 6提问于2014-02-26得票数 1
回答已采纳
我正在开发一个用C++编写的跨平台网络代理。这个应用程序目前在OSX上是稳定的当使用CMake使用Clang编译时，我已经成功地使用CMake和GCC在Fedora上编译了源代码，但是当我运行应用程序时，我得到了一个无法解决的分段错误。下面是分段故障的valgrind输出。 ==18== Process terminating with default action of signal 11 (SIGSEGV)
==18== Access not within mapped region at address 0x0
==18== at 0x4840613: memmove (vg_
浏览 14提问于2021-03-31得票数 0
我不能发布我的确切代码，但是我有一个类Mike，其中我希望它包含一个自定义对象类型Bob的成员变量。Bob可能不会设置在Mike的构造上，但我希望稍后在调用setter方法时设置它。为此，我尝试使用boost::optional<Bob>，其方式如下：
class Mike
{
public:
void setBob(const Bob& bob)
{
m_bob = bob;
}
boost::optional<Bob> getBob() const
{
return m_bob;
}
浏览 0提问于2019-03-15得票数 0
回答已采纳
为什么这些代码不产生编译器错误：
class C
{
int _i{ 123 };
int* ptr{ &_i };
public:
int& i() const { return *ptr; }
};
int main()
{
C const c;
c.i() += 321;
return c.i();
}
标准中是否有关于这种行为的词语？当然，可能没有指向可以直接访问的成员，但是拥有堆上的资源也可以被视为对象的一部分。
浏览 2提问于2021-03-06得票数 3
回答已采纳
为什么class A编译和class B不编译，编译器抱怨有两个声明，而不是两者都依赖SFINAE？在使用foo时，两者实际上都应该使用模板类型推断。
所以问题是，在这两个版本中有什么细微的区别，为什么class A成功地使用了sfinae.？
类A使用value-defaulted (零)匿名(不必要)非类型模板参数。
类B使用type-defaulted (与enable_if)同名的类型模板参数
守则：
template<typename T>
struct A
{
template<typename U,
type
浏览 3提问于2015-07-25得票数 2
回答已采纳
在C++中，当LHS是被声明的类时，可以用一个或两个运算符覆盖二元运算符。如果在中声明了两个参数，则必须是非成员函数。Vis在这段代码中，两个声明是相同的。
class MyClass
{
public:
MyClass operator+(const MyClass&);
}
MyClass operator+(const MyClass&, const MyClass&);
有没有理由不能将后者作为静态成员函数来执行？像这样
class MyClass
{
public:
static MyClass oper
浏览 0提问于2019-06-08得票数 8
我正在尝试构建CQRS风格的命令总线的实现，其中命令总线的接口是一个单一的函数dispatch。
const result = dispatch(message)
dispatch函数的类型签名如下所示：
type Dispatch<Message, Result> = (message: Message) => Result
例如，想象一下，我们希望为Git回购提供一个接口。其中一些信息可能是：
class Clone {
constructor(public readonly remoteUrl: string) { }
}
class Checkout {
浏览 1提问于2020-06-02得票数 3
回答已采纳
2回答
我遇到了这段代码，他们试图从浮点转换到int。
int val[5];
union {
int i;
float f;
} conv;
...
val is updated with some value
...
case OUT_FORMAT_FLOAT:
for (i = 0; i < count; i++) {
conv.f = val[i];
val[i] = conv.i;
}
但我就是不明白这是怎么回事。val[i]被分配给conv.f，然后使用conv.i将值存储回val[i]中。conv是一个联合类型，因为我们使用的是f，i将不会有一个有效
浏览 5提问于2015-11-06得票数 8
回答已采纳
1回答
MT4枚举
、、、
我使用MT4枚举作为选择输入：
enum ENUM_myChoice{
a, b, c, e, f, g
};
问题是如果我必须按字母顺序将"d“添加到列表中，
我使用e，f或g的所有模板都被毁了，因为它们被关闭了1。
这是一种优雅的解决方案，还是唯一的蛮力？
提前感谢
浏览 1提问于2016-12-30得票数 1
下面的代码应该计算地图和向量的差异
std::map<int, int> cursorMap;
QVector<User> userList;
...
std::vector<int> offlineUserIds{};
std::vector<int>::iterator it;
it = std::set_difference(cursorMap.begin(), cursorMap.end(), userList.begin(), userList.end(), offlineUserIds.begin(),
[](const std::p
浏览 0提问于2020-10-05得票数 2
回答已采纳
1回答
template <class = typename T::type>是什么意思？你能给我介绍一下描述这一点的博客吗？
这个问题来源于对的解释
template <typename A>
struct B { typedef typename A::type type; };
template <
class T,
class = typename T::type, // SFINAE failure if T has no member type
class U = typename B<T>::type // ha
浏览 2提问于2018-03-21得票数 5
回答已采纳
1回答
我遇到了一个非常奇怪的编译器错误。由于某些原因，发布的代码确实使用g++ (7.3.0)正确编译，而clang (7.0.0)失败：
../TemplateAlias/main.cpp:64:9: error: no matching function for call to 'freeFunc'
freeFunc(new Func, dummyField);
^~~~~~~~
../TemplateAlias/main.cpp:73:12: note: in instantiation of member function 'Helpe
浏览 4提问于2018-11-26得票数 11
回答已采纳
来自“”的问题：
假设我有一个项目列表和它们的等价关系，比较两个项目需要固定的时间。我希望返回项目的分区，例如，一个链表列表，每个列表包含所有等效项。
这样做的一种方法是将等价性扩展到项目的排序并对其排序(使用排序算法)；然后所有等效项都将相邻。
(请记住相等和之间的区别。)
显然，在设计排序算法时必须考虑等价关系。例如，如果等价关系是“同一年份出生的人是等效的”，那么根据此人的姓名进行排序是不合适的。
你能建议一种数据类型和等价关系，这样就不可能创建一个排序？
如果数据类型和等价关系可以创建这样的排序，但是不可能在数据类型上定义一个哈希函数来将等效的项映射到相同的哈希值，怎么
浏览 11提问于2010-07-16得票数 7
我尝试在我的应用程序中使用DataContractSerializer，以便向后和向前兼容，并支持往返(如果可能)。
是否可以支持往返，或者如果不支持，是否可以在以下场景中忽略未知类型？
假设我有一个类ClassWithObject，它有一个object类型的属性，而我的应用程序的旧版本在这个属性中存储了一个CurrentAdditionalData类型的对象。
[DataContract]
[KnownType(typeof(CurrentAdditionalData))]
public class ClassWithObject : IExtensibleDataObject
{
浏览 3提问于2013-02-15得票数 4
1回答
我刚刚通过模板学习了编译时数组声明，并使用了非类型参数。因此，在这种方法中，我们传递常量，并声明大小数组。喜欢
#include<iostream>
using namespace std;
template<int size_of_array>
class arr
{
public:
int arr[size_of_array];
int size_of() { return size_of_array; }
};
int main()
{
arr<4> arr1;
cout << arr1.si
浏览 1提问于2018-12-20得票数 0
回答已采纳
我想弄清楚为什么我的程序在我运行时失败了。到目前为止，当我运行我的程序时，它在我身上失败了。我调试了这个错误，并将我带到了dbgdel.cpp。第32行“_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));".我一直在寻找答案，但这与我的记忆泄露有关吗？
这是我的标题：
#include <iostream>
using namespace std;
namespace project
{
#ifndef MATRIX_H
#define MATRIX_H
typedef int* IntArrayPtr;
class
浏览 2提问于2013-12-17得票数 1
1回答
序列化内部类实例
、、
可以序列化非静态内部类吗？
如果是，你能提供一个很好的例子。
我搜索了几个博客和没有答案的网站，说服了我。
编辑：，如果内部类有最终的staic变量，怎么样？
浏览 3提问于2012-05-29得票数 0
回答已采纳
在我看来，关于按值传递和按引用传递之间的区别的MS帮助页面对我来说非常清楚：
然而，在结尾的用户评论使我有些困惑。它说(除其他外)这一点：
如果不使用ref或out关键字，则通过值传递给方法的参数。
这句话在我看来似乎是大错特错。是吗?
(我在上下文之外发布了部分评论:以下是完整的评论：)
文本说：“.但是当类实例被传递时，引用就被传递.”这是不正确的，您可以在以下文章中看到：
C#语言规范版本4.0 ( Microsoft免费下载) 5.1.4值参数--不带ref或out修饰符的参数是值参数。
因此，在上面的示例中，类实例是通过值而不是引用传递的。
整句话让我很困惑.类实例
浏览 3提问于2011-08-04得票数 0
回答已采纳
例如，只有一个Person方法的Age：
public class Person
{
public int Age()
{
return 6;
}
}
添加了一个Height()方法。
public class Person
{
public int Age()
{
return 6;
}
public int Height()
{
return 6;
}
}
这是个大变化吗？注意Person不是密封的。
浏览 1提问于2018-03-08得票数 2
回答已采纳
1回答
我正在尝试理解C中的“const”是如何工作的，我想要创建的是一个成员不能被变异的polygon struct。
我首先创建了以下结构
struct vector2{
float x;
float y;
};
struct polygon2{
const size_t count;
struct vector2* const points;
};
要创建多边形，我创建了以下函数：
struct polygon2* polygon2_create(size_t count)
{
struct vector2* points = calloc(count,
浏览 3提问于2016-05-04得票数 2
回答已采纳
3回答
我有下面的代码片段(您可以在这里运行：)
#include <iostream>
#include <set>
#include <map>
int main()
{
std::set<std::pair<const int, const int>> const mySet{{0,0}}; // value_type = std::pair<const int, const int>
for (std::set<std::pair<const int, const int>>::
浏览 3提问于2020-10-28得票数 2
回答已采纳
我正在学习.NET程序集版本号。在寻找何时更改程序集版本号的时候，我偶然发现了“中断更改”这个术语。我相信“打破变革”是一个很大的领域，而且我知道很少有可能打破这种变化：
界面变化
暴露法改变
请帮助我找出任何其他可能的，可以认为是破坏的变化。
浏览 1提问于2013-06-07得票数 0
3回答
参见末尾的编辑
我试图在C++中重载+操作符，以允许我添加两个复数。(加实加虚)。
以下是我的重载函数：
ComplexNum operator+(ComplexNum x, ComplexNum y){
ComplexNum result;
result.real = (x.getReal() + y.getReal());
result.imag = (x.getImag() + y.getImag());
return result;
}
我的复数构造函数接受两个int，并分配给第一个int实数和第二个imag。
当我尝试添加它们时：
ComplexNum num1 = Complex
浏览 4提问于2009-08-17得票数 2
回答已采纳
1回答
我有一份报告连接到BI多维数据集。在报表中，还有来自多维数据集的datasat参数。此参数正确地显示为报表查看器中的多选择淹没，并且正确填充了这些值。
但是，当我使用javascript调用报表并将报表参数作为post请求传递时，会出现一种有趣的行为。
如果在参数中传递一个未包含在列表中的值，则报表崩溃时会出现以下错误:为报表参数“Name”提供的默认值或值不是有效值。(rsInvalidReportParameter)
有没有办法让SSRS跳过无效的值而不是抛出错误？
浏览 0提问于2013-08-06得票数 0
回答已采纳
我想知道是否可能有这样一个函数(有点类似于)：
isFunction# :: a -> Bool
或相当可能：
isFunction# :: Any -> Bool
它返回True当且仅当作为参数传入的值在运行时为某些类型的a和b的类型是a -> b (或者，也就是a => b)，或者是一个底层类型为(因此它“看穿”了“newtype‘s，但当然不是data)的newtype，而不是强制它的参数。我自己也没有在中看到过这样的东西，但是我可能遗漏了一些东西，或者可能是手动CMM之类的。
既然我已经想到了这个问题，我想知道答案是为了它本身()，但我想到的最初原因(问题X)是
浏览 3提问于2015-11-17得票数 6
回答已采纳
1回答
我现在正试图在C++中实现ECS (实体-组件-系统)。
这是我的GameObject课程：
class GameObject
{
private:
int ID
/*gameobject name, tranform */
public:
int GetID();
template<class component>
void AddComponent()
{
component::ComponentAdded(this->ID);
}
template<class compon
浏览 6提问于2021-02-16得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
云直播
对象存储活动推荐
腾讯云开发者
