Jolt Physics
A multi core friendly Game Physics Engine
Loading...
Searching...
No Matches
CompoundShape.h
Go to the documentation of this file.
1// Jolt Physics Library (https://github.com/jrouwe/JoltPhysics)
2// SPDX-FileCopyrightText: 2021 Jorrit Rouwe
3// SPDX-License-Identifier: MIT
4
5#pragma once
6
10
12
14class OrientedBox;
15
18{
19public:
21
22
24
26 void AddShape(Vec3Arg inPosition, QuatArg inRotation, const ShapeSettings *inShape, uint32 inUserData = 0);
27
29 void AddShape(Vec3Arg inPosition, QuatArg inRotation, const Shape *inShape, uint32 inUserData = 0);
30
32 {
34
36 RefConst<Shape> mShapePtr;
37 Vec3 mPosition;
38 Quat mRotation;
40 };
41
43
45};
46
48class CompoundShape : public Shape
49{
50public:
52
54 explicit CompoundShape(EShapeSubType inSubType) : Shape(EShapeType::Compound, inSubType) { }
55 CompoundShape(EShapeSubType inSubType, const ShapeSettings &inSettings, ShapeResult &outResult) : Shape(EShapeType::Compound, inSubType, inSettings, outResult) { }
56
57 // See Shape::GetCenterOfMass
58 virtual Vec3 GetCenterOfMass() const override { return mCenterOfMass; }
59
60 // See Shape::MustBeStatic
61 virtual bool MustBeStatic() const override;
62
63 // See Shape::GetLocalBounds
64 virtual AABox GetLocalBounds() const override { return mLocalBounds; }
65
66 // See Shape::GetSubShapeIDBitsRecursive
67 virtual uint GetSubShapeIDBitsRecursive() const override;
68
69 // See Shape::GetWorldSpaceBounds
70 virtual AABox GetWorldSpaceBounds(Mat44Arg inCenterOfMassTransform, Vec3Arg inScale) const override;
72
73 // See Shape::GetInnerRadius
74 virtual float GetInnerRadius() const override { return mInnerRadius; }
75
76 // See Shape::GetMassProperties
77 virtual MassProperties GetMassProperties() const override;
78
79 // See Shape::GetMaterial
80 virtual const PhysicsMaterial * GetMaterial(const SubShapeID &inSubShapeID) const override;
81
82 // See Shape::GetSubShapeUserData
83 virtual uint64 GetSubShapeUserData(const SubShapeID &inSubShapeID) const override;
84
85 // See Shape::GetSubShapeTransformedShape
86 virtual TransformedShape GetSubShapeTransformedShape(const SubShapeID &inSubShapeID, Vec3Arg inPositionCOM, QuatArg inRotation, Vec3Arg inScale, SubShapeID &outRemainder) const override;
87
88 // See Shape::GetSurfaceNormal
89 virtual Vec3 GetSurfaceNormal(const SubShapeID &inSubShapeID, Vec3Arg inLocalSurfacePosition) const override;
90
91 // See Shape::GetSupportingFace
92 virtual void GetSupportingFace(const SubShapeID &inSubShapeID, Vec3Arg inDirection, Vec3Arg inScale, Mat44Arg inCenterOfMassTransform, SupportingFace &outVertices) const override;
93
94 // See Shape::GetSubmergedVolume
95 virtual void GetSubmergedVolume(Mat44Arg inCenterOfMassTransform, Vec3Arg inScale, const Plane &inSurface, float &outTotalVolume, float &outSubmergedVolume, Vec3 &outCenterOfBuoyancy JPH_IF_DEBUG_RENDERER(, RVec3Arg inBaseOffset)) const override;
96
97#ifdef JPH_DEBUG_RENDERER
98 // See Shape::Draw
99 virtual void Draw(DebugRenderer *inRenderer, RMat44Arg inCenterOfMassTransform, Vec3Arg inScale, ColorArg inColor, bool inUseMaterialColors, bool inDrawWireframe) const override;
100
101 // See Shape::DrawGetSupportFunction
102 virtual void DrawGetSupportFunction(DebugRenderer *inRenderer, RMat44Arg inCenterOfMassTransform, Vec3Arg inScale, ColorArg inColor, bool inDrawSupportDirection) const override;
103
104 // See Shape::DrawGetSupportingFace
105 virtual void DrawGetSupportingFace(DebugRenderer *inRenderer, RMat44Arg inCenterOfMassTransform, Vec3Arg inScale) const override;
106#endif // JPH_DEBUG_RENDERER
107
108 // See Shape::TransformShape
109 virtual void TransformShape(Mat44Arg inCenterOfMassTransform, TransformedShapeCollector &ioCollector) const override;
110
111 // See Shape::GetTrianglesStart
112 virtual void GetTrianglesStart(GetTrianglesContext &ioContext, const AABox &inBox, Vec3Arg inPositionCOM, QuatArg inRotation, Vec3Arg inScale) const override { JPH_ASSERT(false, "Cannot call on non-leaf shapes, use CollectTransformedShapes to collect the leaves first!"); }
113
114 // See Shape::GetTrianglesNext
115 virtual int GetTrianglesNext(GetTrianglesContext &ioContext, int inMaxTrianglesRequested, Float3 *outTriangleVertices, const PhysicsMaterial **outMaterials = nullptr) const override { JPH_ASSERT(false, "Cannot call on non-leaf shapes, use CollectTransformedShapes to collect the leaves first!"); return 0; }
116
122 virtual int GetIntersectingSubShapes(const AABox &inBox, uint *outSubShapeIndices, int inMaxSubShapeIndices) const = 0;
123
129 virtual int GetIntersectingSubShapes(const OrientedBox &inBox, uint *outSubShapeIndices, int inMaxSubShapeIndices) const = 0;
130
131 struct SubShape
132 {
138 {
139 if (inSettings.mShapePtr != nullptr)
140 {
141 // Use provided shape
142 mShape = inSettings.mShapePtr;
143 }
144 else
145 {
146 // Create child shape
147 ShapeResult child_result = inSettings.mShape->Create();
148 if (!child_result.IsValid())
149 {
150 outResult = child_result;
151 return false;
152 }
153 mShape = child_result.Get();
154 }
155
156 // Copy user data
157 mUserData = inSettings.mUserData;
158
159 SetTransform(inSettings.mPosition, inSettings.mRotation, Vec3::sZero() /* Center of mass not yet calculated */);
160 return true;
161 }
162
167 JPH_INLINE void SetTransform(Vec3Arg inPosition, QuatArg inRotation, Vec3Arg inCenterOfMass)
168 {
169 SetPositionCOM(inPosition - inCenterOfMass + inRotation * mShape->GetCenterOfMass());
170
171 mIsRotationIdentity = inRotation.IsClose(Quat::sIdentity()) || inRotation.IsClose(-Quat::sIdentity());
172 SetRotation(mIsRotationIdentity? Quat::sIdentity() : inRotation);
173 }
174
178 JPH_INLINE Mat44 GetLocalTransformNoScale(Vec3Arg inScale) const
179 {
180 JPH_ASSERT(IsValidScale(inScale));
181 return Mat44::sRotationTranslation(GetRotation(), inScale * GetPositionCOM());
182 }
183
185 inline bool IsValidScale(Vec3Arg inScale) const
186 {
187 // We can always handle uniform scale or identity rotations
188 if (mIsRotationIdentity || ScaleHelpers::IsUniformScale(inScale))
189 return true;
190
191 return ScaleHelpers::CanScaleBeRotated(GetRotation(), inScale);
192 }
193
195 inline Vec3 TransformScale(Vec3Arg inScale) const
196 {
197 // We don't need to transform uniform scale or if the rotation is identity
198 if (mIsRotationIdentity || ScaleHelpers::IsUniformScale(inScale))
199 return inScale;
200
201 return ScaleHelpers::RotateScale(GetRotation(), inScale);
202 }
203
205 JPH_INLINE void SetPositionCOM(Vec3Arg inPositionCOM)
206 {
207 inPositionCOM.StoreFloat3(&mPositionCOM);
208 }
209
211 JPH_INLINE Vec3 GetPositionCOM() const
212 {
213 return Vec3::sLoadFloat3Unsafe(mPositionCOM);
214 }
215
217 JPH_INLINE void SetRotation(QuatArg inRotation)
218 {
219 inRotation.StoreFloat3(&mRotation);
220 }
221
223 JPH_INLINE Quat GetRotation() const
224 {
225 return mIsRotationIdentity? Quat::sIdentity() : Quat::sLoadFloat3Unsafe(mRotation);
226 }
227
233 // 3 padding bytes left
234 };
235
236 static_assert(sizeof(SubShape) == (JPH_CPU_ADDRESS_BITS == 64? 40 : 36), "Compiler added unexpected padding");
237
239
241 const SubShapes & GetSubShapes() const { return mSubShapes; }
242
244 uint GetNumSubShapes() const { return (uint)mSubShapes.size(); }
245
247 const SubShape & GetSubShape(uint inIdx) const { return mSubShapes[inIdx]; }
248
250 uint32 GetCompoundUserData(uint inIdx) const { return mSubShapes[inIdx].mUserData; }
251
253 void SetCompoundUserData(uint inIdx, uint32 inUserData) { mSubShapes[inIdx].mUserData = inUserData; }
254
258 inline bool IsSubShapeIDValid(SubShapeID inSubShapeID) const
259 {
260 SubShapeID remainder;
261 return inSubShapeID.PopID(GetSubShapeIDBits(), remainder) < mSubShapes.size();
262 }
263
268 inline uint32 GetSubShapeIndexFromID(SubShapeID inSubShapeID, SubShapeID &outRemainder) const
269 {
270 uint32 idx = inSubShapeID.PopID(GetSubShapeIDBits(), outRemainder);
271 JPH_ASSERT(idx < mSubShapes.size(), "Invalid SubShapeID");
272 return idx;
273 }
274
279 inline SubShapeIDCreator GetSubShapeIDFromIndex(int inIdx, const SubShapeIDCreator &inParentSubShapeID) const
280 {
281 return inParentSubShapeID.PushID(inIdx, GetSubShapeIDBits());
282 }
283
284 // See Shape
285 virtual void SaveBinaryState(StreamOut &inStream) const override;
286 virtual void SaveSubShapeState(ShapeList &outSubShapes) const override;
287 virtual void RestoreSubShapeState(const ShapeRefC *inSubShapes, uint inNumShapes) override;
288
289 // See Shape::GetStatsRecursive
290 virtual Stats GetStatsRecursive(VisitedShapes &ioVisitedShapes) const override;
291
292 // See Shape::GetVolume
293 virtual float GetVolume() const override;
294
295 // See Shape::IsValidScale
296 virtual bool IsValidScale(Vec3Arg inScale) const override;
297
298 // Register shape functions with the registry
299 static void sRegister();
300
301protected:
302 // See: Shape::RestoreBinaryState
303 virtual void RestoreBinaryState(StreamIn &inStream) override;
304
305 // Visitors for collision detection
306 struct CastRayVisitor;
307 struct CastRayVisitorCollector;
308 struct CollidePointVisitor;
309 struct CastShapeVisitor;
310 struct CollectTransformedShapesVisitor;
311 struct CollideCompoundVsShapeVisitor;
312 struct CollideShapeVsCompoundVisitor;
313 template <class BoxType> struct GetIntersectingSubShapesVisitor;
314
316 inline uint GetSubShapeIDBits() const
317 {
318 // Ensure we have enough bits to encode our shape [0, n - 1]
319 uint32 n = (uint32)mSubShapes.size() - 1;
320 return 32 - CountLeadingZeros(n);
321 }
322
325 {
326 mInnerRadius = FLT_MAX;
327 for (const SubShape &s : mSubShapes)
328 mInnerRadius = min(mInnerRadius, s.mShape->GetInnerRadius());
329 }
330
331 Vec3 mCenterOfMass { Vec3::sZero() };
334 float mInnerRadius = FLT_MAX;
335
336private:
337 // Helper functions called by CollisionDispatch
338 static void sCastCompoundVsShape(const ShapeCast &inShapeCast, const ShapeCastSettings &inShapeCastSettings, const Shape *inShape, Vec3Arg inScale, const ShapeFilter &inShapeFilter, Mat44Arg inCenterOfMassTransform2, const SubShapeIDCreator &inSubShapeIDCreator1, const SubShapeIDCreator &inSubShapeIDCreator2, CastShapeCollector &ioCollector);
339};
340
uint32_t uint32
Definition: Core.h:312
unsigned int uint
Definition: Core.h:309
#define JPH_NAMESPACE_END
Definition: Core.h:240
#define JPH_IF_DEBUG_RENDERER(...)
Definition: Core.h:378
uint64_t uint64
Definition: Core.h:313
#define JPH_NAMESPACE_BEGIN
Definition: Core.h:234
#define JPH_ASSERT(...)
Definition: IssueReporting.h:33
uint CountLeadingZeros(uint32 inValue)
Compute the number of leading zero bits (how many high bits are zero)
Definition: Math.h:127
#define JPH_OVERRIDE_NEW_DELETE
Macro to override the new and delete functions.
Definition: Memory.h:29
std::vector< T, STLAllocator< T > > Array
Definition: STLAllocator.h:81
#define JPH_DECLARE_SERIALIZABLE_NON_VIRTUAL(class_name)
Definition: SerializableObject.h:71
#define JPH_DECLARE_SERIALIZABLE_ABSTRACT(class_name)
Definition: SerializableObject.h:111
EShapeSubType
This enumerates all shape types, each shape can return its type through Shape::GetSubType.
Definition: Shape.h:71
Array< ShapeRefC > ShapeList
Definition: Shape.h:49
EShapeType
Shapes are categorized in groups, each shape can return which group it belongs to through its Shape::...
Definition: Shape.h:55
@ Compound
Used by CompoundShape.
Axis aligned box.
Definition: AABox.h:16
Settings to be passed with a collision query.
Definition: CollideShape.h:94
Virtual interface that allows collecting multiple collision results.
Definition: CollisionCollector.h:45
Class that holds an RGBA color with 8-bits per component.
Definition: Color.h:16
Base class for a compound shape.
Definition: CompoundShape.h:49
virtual void GetTrianglesStart(GetTrianglesContext &ioContext, const AABox &inBox, Vec3Arg inPositionCOM, QuatArg inRotation, Vec3Arg inScale) const override
Definition: CompoundShape.h:112
AABox mLocalBounds
Definition: CompoundShape.h:332
const SubShapes & GetSubShapes() const
Access to the sub shapes of this compound.
Definition: CompoundShape.h:241
virtual int GetIntersectingSubShapes(const OrientedBox &inBox, uint *outSubShapeIndices, int inMaxSubShapeIndices) const =0
uint GetSubShapeIDBits() const
Determine amount of bits needed to encode sub shape id.
Definition: CompoundShape.h:316
bool IsSubShapeIDValid(SubShapeID inSubShapeID) const
Definition: CompoundShape.h:258
Array< SubShape > SubShapes
Definition: CompoundShape.h:238
uint32 GetCompoundUserData(uint inIdx) const
Get the user data associated with a shape in this compound.
Definition: CompoundShape.h:250
SubShapeIDCreator GetSubShapeIDFromIndex(int inIdx, const SubShapeIDCreator &inParentSubShapeID) const
Convert a sub shape index to a sub shape ID.
Definition: CompoundShape.h:279
JPH_OVERRIDE_NEW_DELETE CompoundShape(EShapeSubType inSubType)
Constructor.
Definition: CompoundShape.h:54
uint32 GetSubShapeIndexFromID(SubShapeID inSubShapeID, SubShapeID &outRemainder) const
Definition: CompoundShape.h:268
void SetCompoundUserData(uint inIdx, uint32 inUserData)
Set the user data associated with a shape in this compound.
Definition: CompoundShape.h:253
virtual int GetTrianglesNext(GetTrianglesContext &ioContext, int inMaxTrianglesRequested, Float3 *outTriangleVertices, const PhysicsMaterial **outMaterials=nullptr) const override
Definition: CompoundShape.h:115
void CalculateInnerRadius()
Determine the inner radius of this shape.
Definition: CompoundShape.h:324
uint GetNumSubShapes() const
Get the total number of sub shapes.
Definition: CompoundShape.h:244
virtual int GetIntersectingSubShapes(const AABox &inBox, uint *outSubShapeIndices, int inMaxSubShapeIndices) const =0
CompoundShape(EShapeSubType inSubType, const ShapeSettings &inSettings, ShapeResult &outResult)
Definition: CompoundShape.h:55
SubShapes mSubShapes
Definition: CompoundShape.h:333
virtual float GetInnerRadius() const override
Definition: CompoundShape.h:74
virtual AABox GetLocalBounds() const override
Get local bounding box including convex radius, this box is centered around the center of mass rather...
Definition: CompoundShape.h:64
virtual Vec3 GetCenterOfMass() const override
All shapes are centered around their center of mass. This function returns the center of mass positio...
Definition: CompoundShape.h:58
const SubShape & GetSubShape(uint inIdx) const
Access to a particular sub shape.
Definition: CompoundShape.h:247
Base class settings to construct a compound shape.
Definition: CompoundShape.h:18
SubShapes mSubShapes
Definition: CompoundShape.h:44
Array< SubShapeSettings > SubShapes
Definition: CompoundShape.h:42
void AddShape(Vec3Arg inPosition, QuatArg inRotation, const ShapeSettings *inShape, uint32 inUserData=0)
Add a shape to the compound.
Definition: CompoundShape.cpp:37
Simple triangle renderer for debugging purposes.
Definition: DebugRenderer.h:25
Class that holds 3 floats. Used as a storage class. Convert to Vec3 for calculations.
Definition: Float3.h:13
Describes the mass and inertia properties of a body. Used during body construction only.
Definition: MassProperties.h:16
Holds a 4x4 matrix of floats, but supports also operations on the 3x3 upper left part of the matrix.
Definition: Mat44.h:13
static JPH_INLINE Mat44 sRotationTranslation(QuatArg inR, Vec3Arg inT)
Get matrix that rotates and translates.
Definition: Mat44.inl:149
Oriented box.
Definition: OrientedBox.h:18
Definition: PhysicsMaterial.h:23
An infinite plane described by the formula X . Normal + Constant = 0.
Definition: Plane.h:11
Definition: Quat.h:33
static JPH_INLINE Quat sLoadFloat3Unsafe(const Float3 &inV)
Load 3 floats from memory (X, Y and Z component and then calculates W) reads 32 bits extra which it d...
Definition: Quat.inl:321
static JPH_INLINE Quat sIdentity()
Definition: Quat.h:93
bool IsClose(QuatArg inRHS, float inMaxDistSq=1.0e-12f) const
If this quaternion is close to inRHS. Note that q and -q represent the same rotation,...
Definition: Quat.h:55
JPH_INLINE void StoreFloat3(Float3 *outV) const
Store 3 as floats to memory (X, Y and Z component)
Definition: Quat.inl:315
Definition: Reference.h:154
bool IsValid() const
Checks if the result is valid.
Definition: Result.h:137
const Type & Get() const
Get the result value.
Definition: Result.h:140
Settings to be passed with a shape cast.
Definition: ShapeCast.h:92
Filter class.
Definition: ShapeFilter.h:17
Base class for all shapes (collision volume of a body). Defines a virtual interface for collision det...
Definition: Shape.h:170
virtual AABox GetWorldSpaceBounds(Mat44Arg inCenterOfMassTransform, Vec3Arg inScale) const
Definition: Shape.h:206
Definition: Shape.h:135
virtual ShapeResult Create() const =0
Create a shape according to the settings specified by this object.
uint64 mUserData
User data (to be used freely by the application)
Definition: Shape.h:145
Simple binary input stream.
Definition: StreamIn.h:11
Simple binary output stream.
Definition: StreamOut.h:11
Definition: SubShapeID.h:108
SubShapeIDCreator PushID(uint inValue, uint inBits) const
Add a new id to the chain of id's and return it.
Definition: SubShapeID.h:111
A sub shape id contains a path to an element (usually a triangle or other primitive type) of a compou...
Definition: SubShapeID.h:23
Type PopID(uint inBits, SubShapeID &outRemainder) const
Get the next id in the chain of ids (pops parents before children)
Definition: SubShapeID.h:42
Definition: TransformedShape.h:26
Definition: Vec3.h:16
JPH_INLINE void StoreFloat3(Float3 *outV) const
Store 3 floats to memory.
Definition: Vec3.inl:757
static JPH_INLINE Vec3 sZero()
Vector with all zeros.
Definition: Vec3.inl:107
static JPH_INLINE Vec3 sLoadFloat3Unsafe(const Float3 &inV)
Load 3 floats from memory (reads 32 bits extra which it doesn't use)
Definition: Vec3.inl:134
bool CanScaleBeRotated(QuatArg inRotation, Vec3Arg inScale)
Definition: ScaleHelpers.h:36
Vec3 RotateScale(QuatArg inRotation, Vec3Arg inScale)
Definition: ScaleHelpers.h:60
bool IsUniformScale(Vec3Arg inScale)
Test if a scale is uniform.
Definition: ScaleHelpers.h:21
Definition: CompoundShape.h:132
JPH_INLINE Quat GetRotation() const
Uncompress the rotation.
Definition: CompoundShape.h:223
Float3 mPositionCOM
Note: Position of center of mass of sub shape!
Definition: CompoundShape.h:229
JPH_INLINE Mat44 GetLocalTransformNoScale(Vec3Arg inScale) const
Definition: CompoundShape.h:178
bool mIsRotationIdentity
If mRotation is close to identity (put here because it falls in padding bytes)
Definition: CompoundShape.h:232
bool FromSettings(const CompoundShapeSettings::SubShapeSettings &inSettings, ShapeResult &outResult)
Definition: CompoundShape.h:137
bool IsValidScale(Vec3Arg inScale) const
Test if inScale is valid for this sub shape.
Definition: CompoundShape.h:185
JPH_INLINE void SetTransform(Vec3Arg inPosition, QuatArg inRotation, Vec3Arg inCenterOfMass)
Definition: CompoundShape.h:167
Float3 mRotation
Note: X, Y, Z of rotation quaternion - note we read 4 bytes beyond this so make sure there's somethin...
Definition: CompoundShape.h:230
uint32 mUserData
User data value (put here because it falls in padding bytes)
Definition: CompoundShape.h:231
Vec3 TransformScale(Vec3Arg inScale) const
Transform the scale to the local space of the child shape.
Definition: CompoundShape.h:195
JPH_INLINE Vec3 GetPositionCOM() const
Uncompress the center of mass position.
Definition: CompoundShape.h:211
JPH_INLINE void SetPositionCOM(Vec3Arg inPositionCOM)
Compress the center of mass position.
Definition: CompoundShape.h:205
JPH_INLINE void SetRotation(QuatArg inRotation)
Compress the rotation.
Definition: CompoundShape.h:217
RefConst< Shape > mShape
Definition: CompoundShape.h:228
Definition: CompoundShape.h:32
uint32 mUserData
User data value (can be used by the application for any purpose)
Definition: CompoundShape.h:39
Quat mRotation
Rotation of the sub shape.
Definition: CompoundShape.h:38
RefConst< ShapeSettings > mShape
Sub shape (either this or mShapePtr needs to be filled up)
Definition: CompoundShape.h:35
Vec3 mPosition
Position of the sub shape.
Definition: CompoundShape.h:37
RefConst< Shape > mShapePtr
Sub shape (either this or mShape needs to be filled up)
Definition: CompoundShape.h:36
An opaque buffer that holds shape specific information during GetTrianglesStart/Next.
Definition: Shape.h:318
Definition: ShapeCast.h:69