还是先上结论: 当需要为类型T定义比较运算符时,所有运算符最好保证语义整体一致
* 一般来说,这很容易达到,我们只需要实现operator<(lhs,rhs),即可引申定义出其余几个比较运算符.
* 定义operator<=为 !(rhs < lhs)
* 定义operator>为 rhs … Read More

IEEE 754 的 inf 比较问题

首先上结论: 当涉及浮点数比较时,一定要考虑比较符号两侧都是inf的情况.

原因: inf==inf,inf<=inf,inf=inf 这三个比较都为真(-inf同理),而这种结果可能与我们的期望不符.

解决方法:
1. 如果为真是可以接受的,那么直接使用比较运算符,例如a<=b
2. 如果为真是不可以接受的,那么应当使用作差,例如(a-b)<=0, 这种情况下,当a和b都为inf时,inf之间的运算会输出NaN,从而导致比较结果为false

例如,我有这样一个应用场景:

有射线R和两个平面S0及S1,我们需要求射线R与平面S0的交点p0,以及射线R与平面S1的交点P1. 且要求p0不能比p1离射线起点更远(可以重合)

假如我们用直线的参数方程来描述交点,显然,上面的目标很容易用 t0<=t1 … Read More

KD树与SKD树

首先给出两个搜到的有点内容的KD树文章,论述的比我说的更完整(更冗长),可以先看,也可以看完本文再看.
* https://www.zybuluo.com/l1ll5/note/967681
* http://www.whudj.cn/?p=920

主体思想

KD树和SKD树都使用坐标轴对齐的最小包围盒来描述空间.
- 例如,平面内,一堆点的点集对应的空间可以用点A=(min(all_x),min(all_y)),B=(max(all_x),max(all_y)) 对应的矩形空间来描述. 当点的个数变为1时,这个矩形空间也会自然地退化为一个点.
构建时的主要思想: 每个节点

汉诺塔问题-记录

偶尔看到了汉诺塔这个问题,作为益智题从正向分析了一下,很难解. 编程解的思路倒是很清晰.简单记录一下

#include <iostream>
#include <vector>


struct Stock
{
    std::vector<int> plates;
    int id = 0;
};

Stock g_stocks[3];

设计模式

For C/C++ user

很多设计模式相关的资料都是用Java来描述的,有必要简单补充一下Java和C++在OOP技术层面上的区别

Java不支持任何形式的运算符重载
Java明确区分接口和类,类只能从一个类派生，但是一个类可以实现多个接口
在Java中，所有方法默认是虚（virtual）的
对CPP而言,Java风格的接口可以视为一个只有pure virtual

SomeCpp

零碎知识点

fflush仅仅是为了输出而设计的, 标准中并没有说明它对输入缓冲的效果.
一元运算符和=是右结合的,这和<<是完全不同的,a=b=c意味着a=(b=c),b=c将先执行,而a<<b<<c则是(a<<b)<<c,a<<b将先执行.

Some Multi Thread

C++标准库提供的 mutex 在大部分场合都足以保证线程安全, 但是当问题变得更加极端时,就可能需要使用lockfree风格的并行编程了. 而为了正确实现lockfree, 你将打开一扇新的大门, 接下来的名词都是在学习过程中必须正确理解的: memory model, reordering, weak(relax), strong(strict), fence, barrier, release, acquire, seq_cst, consume, mutex, futex,

TinyEdi

Sharing & Fun

A Strory of Mixin

Mixin

Tablegen Language Tutorial

Tablegen Language Tutorial

Lit and FileCheck

Lit And FileCheck

Lit

比较运算符, Min, Max, Sort 和 Order

IEEE 754 的 inf 比较问题

KD树与SKD树

KD树与SKD树

主体思想

汉诺塔问题-记录

设计模式

For C/C++ user

SomeCpp

零碎知识点

Some Multi Thread