14int SafeRatio(
int value,
int numerator,
int denominator) {
15 return static_cast<int64_t
>(value) *
static_cast<int64_t
>(numerator) /
16 std::max(
static_cast<int64_t
>(denominator),
static_cast<int64_t
>(1));
22void ComputeGrow(std::vector<Element>* elements,
25 for (
Element& element : *elements) {
26 const int added_space =
27 SafeRatio(extra_space, element.flex_grow, flex_grow_sum);
28 extra_space -= added_space;
29 flex_grow_sum -= element.flex_grow;
30 element.size = element.min_size + added_space;
37void ComputeShrinkEasy(std::vector<Element>* elements,
39 int flex_shrink_sum) {
40 for (
Element& element : *elements) {
41 const int added_space = SafeRatio(
42 extra_space, element.min_size * element.flex_shrink, flex_shrink_sum);
43 extra_space -= added_space;
44 flex_shrink_sum -= element.flex_shrink * element.min_size;
45 element.size = element.min_size + added_space;
53void ComputeShrinkHard(std::vector<Element>* elements,
56 for (
Element& element : *elements) {
57 if (element.flex_shrink != 0) {
62 const int added_space = SafeRatio(extra_space, element.min_size, size);
64 extra_space -= added_space;
65 size -= element.min_size;
67 element.size = element.min_size + added_space;
73void Compute(std::vector<Element>* elements,
int target_size) {
75 int flex_grow_sum = 0;
76 int flex_shrink_sum = 0;
77 int flex_shrink_size = 0;
79 for (
auto& element : *elements) {
80 flex_grow_sum += element.flex_grow;
81 flex_shrink_sum += element.min_size * element.flex_shrink;
82 if (element.flex_shrink != 0) {
83 flex_shrink_size += element.min_size;
85 size += element.min_size;
88 const int extra_space = target_size -
size;
89 if (extra_space >= 0) {
90 ComputeGrow(elements, extra_space, flex_grow_sum);
91 }
else if (flex_shrink_size + extra_space >= 0) {
92 ComputeShrinkEasy(elements, extra_space, flex_shrink_sum);
95 ComputeShrinkHard(elements, extra_space + flex_shrink_size,
96 size - flex_shrink_size);