| 1 | #include <DataTypes/DataTypesNumber.h> | 
|---|
| 2 | #include <Columns/ColumnsNumber.h> | 
|---|
| 3 | #include <Columns/ColumnConst.h> | 
|---|
| 4 | #include <Common/typeid_cast.h> | 
|---|
| 5 | #include <Common/assert_cast.h> | 
|---|
| 6 | #include <Functions/IFunctionImpl.h> | 
|---|
| 7 | #include <Functions/FunctionHelpers.h> | 
|---|
| 8 | #include <Functions/FunctionFactory.h> | 
|---|
| 9 | #include <ext/range.h> | 
|---|
| 10 |  | 
|---|
| 11 |  | 
|---|
| 12 | namespace DB | 
|---|
| 13 | { | 
|---|
| 14 |  | 
|---|
| 15 | namespace ErrorCodes | 
|---|
| 16 | { | 
|---|
| 17 | extern const int TOO_MANY_ARGUMENTS_FOR_FUNCTION; | 
|---|
| 18 | extern const int NUMBER_OF_ARGUMENTS_DOESNT_MATCH; | 
|---|
| 19 | extern const int ILLEGAL_COLUMN; | 
|---|
| 20 | } | 
|---|
| 21 |  | 
|---|
| 22 | /** | 
|---|
| 23 | * The function checks if a point is in one of ellipses in set. | 
|---|
| 24 | * The number of arguments must be 2 + 4*N where N is the number of ellipses. | 
|---|
| 25 | * The arguments must be arranged as follows: (x, y, x_0, y_0, a_0, b_0, ..., x_i, y_i, a_i, b_i) | 
|---|
| 26 | * All ellipses parameters must be const values; | 
|---|
| 27 | * | 
|---|
| 28 | * The function first checks bounding box condition. | 
|---|
| 29 | * If a point is inside an ellipse's bounding box, the quadratic condition is evaluated. | 
|---|
| 30 | * | 
|---|
| 31 | * Here we assume that points in one block are close and are likely to fit in one ellipse, | 
|---|
| 32 | * so the last success ellipse index is remembered to check this ellipse first for next point. | 
|---|
| 33 | * | 
|---|
| 34 | */ | 
|---|
| 35 | class FunctionPointInEllipses : public IFunction | 
|---|
| 36 | { | 
|---|
| 37 | public: | 
|---|
| 38 | static constexpr auto name = "pointInEllipses"; | 
|---|
| 39 | static FunctionPtr create(const Context &) { return std::make_shared<FunctionPointInEllipses>(); } | 
|---|
| 40 |  | 
|---|
| 41 | private: | 
|---|
| 42 |  | 
|---|
| 43 | struct Ellipse | 
|---|
| 44 | { | 
|---|
| 45 | Float64 x; | 
|---|
| 46 | Float64 y; | 
|---|
| 47 | Float64 a; | 
|---|
| 48 | Float64 b; | 
|---|
| 49 | }; | 
|---|
| 50 |  | 
|---|
| 51 | String getName() const override { return name; } | 
|---|
| 52 |  | 
|---|
| 53 | bool isVariadic() const override { return true; } | 
|---|
| 54 |  | 
|---|
| 55 | size_t getNumberOfArguments() const override { return 0; } | 
|---|
| 56 |  | 
|---|
| 57 | DataTypePtr getReturnTypeImpl(const DataTypes & arguments) const override | 
|---|
| 58 | { | 
|---|
| 59 | if (arguments.size() < 6 || arguments.size() % 4 != 2) | 
|---|
| 60 | { | 
|---|
| 61 | throw Exception( | 
|---|
| 62 | "Incorrect number of arguments of function "+ getName() + ". Must be 2 for your point plus 4 * N for ellipses (x_i, y_i, a_i, b_i).", | 
|---|
| 63 | ErrorCodes::NUMBER_OF_ARGUMENTS_DOESNT_MATCH); | 
|---|
| 64 | } | 
|---|
| 65 |  | 
|---|
| 66 | /// For array on stack, see below. | 
|---|
| 67 | if (arguments.size() > 10000) | 
|---|
| 68 | { | 
|---|
| 69 | throw Exception( | 
|---|
| 70 | "Number of arguments of function "+ getName() + " is too large.", ErrorCodes::TOO_MANY_ARGUMENTS_FOR_FUNCTION); | 
|---|
| 71 | } | 
|---|
| 72 |  | 
|---|
| 73 | for (const auto arg_idx : ext::range(0, arguments.size())) | 
|---|
| 74 | { | 
|---|
| 75 | const auto arg = arguments[arg_idx].get(); | 
|---|
| 76 | if (!WhichDataType(arg).isFloat64()) | 
|---|
| 77 | { | 
|---|
| 78 | throw Exception( | 
|---|
| 79 | "Illegal type "+ arg->getName() + " of argument "+ std::to_string(arg_idx + 1) + " of function "+ getName() + ". Must be Float64", | 
|---|
| 80 | ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT); | 
|---|
| 81 | } | 
|---|
| 82 | } | 
|---|
| 83 |  | 
|---|
| 84 | return std::make_shared<DataTypeUInt8>(); | 
|---|
| 85 | } | 
|---|
| 86 |  | 
|---|
| 87 | void executeImpl(Block & block, const ColumnNumbers & arguments, size_t result, size_t input_rows_count) override | 
|---|
| 88 | { | 
|---|
| 89 | const auto size = input_rows_count; | 
|---|
| 90 |  | 
|---|
| 91 | /// Prepare array of ellipses. | 
|---|
| 92 | size_t ellipses_count = (arguments.size() - 2) / 4; | 
|---|
| 93 | std::vector<Ellipse> ellipses(ellipses_count); | 
|---|
| 94 |  | 
|---|
| 95 | for (const auto ellipse_idx : ext::range(0, ellipses_count)) | 
|---|
| 96 | { | 
|---|
| 97 | Float64 ellipse_data[4]; | 
|---|
| 98 | for (const auto idx : ext::range(0, 4)) | 
|---|
| 99 | { | 
|---|
| 100 | int arg_idx = 2 + 4 * ellipse_idx + idx; | 
|---|
| 101 | const auto column = block.getByPosition(arguments[arg_idx]).column.get(); | 
|---|
| 102 | if (const auto col = checkAndGetColumnConst<ColumnVector<Float64>>(column)) | 
|---|
| 103 | { | 
|---|
| 104 | ellipse_data[idx] = col->getValue<Float64>(); | 
|---|
| 105 | } | 
|---|
| 106 | else | 
|---|
| 107 | { | 
|---|
| 108 | throw Exception( | 
|---|
| 109 | "Illegal type "+ column->getName() + " of argument "+ std::to_string(arg_idx + 1) + " of function "+ getName() + ". Must be const Float64", | 
|---|
| 110 | ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT); | 
|---|
| 111 | } | 
|---|
| 112 | } | 
|---|
| 113 | ellipses[ellipse_idx] = Ellipse{ellipse_data[0], ellipse_data[1], ellipse_data[2], ellipse_data[3]}; | 
|---|
| 114 | } | 
|---|
| 115 |  | 
|---|
| 116 | int const_cnt = 0; | 
|---|
| 117 | for (const auto idx : ext::range(0, 2)) | 
|---|
| 118 | { | 
|---|
| 119 | const auto column = block.getByPosition(arguments[idx]).column.get(); | 
|---|
| 120 | if (typeid_cast<const ColumnConst *> (column)) | 
|---|
| 121 | { | 
|---|
| 122 | ++const_cnt; | 
|---|
| 123 | } | 
|---|
| 124 | else if (!typeid_cast<const ColumnVector<Float64> *> (column)) | 
|---|
| 125 | { | 
|---|
| 126 | throw Exception( "Illegal column "+ column->getName() + " of argument of function "+ getName(), | 
|---|
| 127 | ErrorCodes::ILLEGAL_COLUMN); | 
|---|
| 128 | } | 
|---|
| 129 | } | 
|---|
| 130 |  | 
|---|
| 131 | const auto col_x = block.getByPosition(arguments[0]).column.get(); | 
|---|
| 132 | const auto col_y = block.getByPosition(arguments[1]).column.get(); | 
|---|
| 133 | if (const_cnt == 0) | 
|---|
| 134 | { | 
|---|
| 135 | const auto col_vec_x = assert_cast<const ColumnVector<Float64> *> (col_x); | 
|---|
| 136 | const auto col_vec_y = assert_cast<const ColumnVector<Float64> *> (col_y); | 
|---|
| 137 |  | 
|---|
| 138 | auto dst = ColumnVector<UInt8>::create(); | 
|---|
| 139 | auto & dst_data = dst->getData(); | 
|---|
| 140 | dst_data.resize(size); | 
|---|
| 141 |  | 
|---|
| 142 | size_t start_index = 0; | 
|---|
| 143 | for (const auto row : ext::range(0, size)) | 
|---|
| 144 | { | 
|---|
| 145 | dst_data[row] = isPointInEllipses(col_vec_x->getData()[row], col_vec_y->getData()[row], ellipses.data(), ellipses_count, start_index); | 
|---|
| 146 | } | 
|---|
| 147 |  | 
|---|
| 148 | block.getByPosition(result).column = std::move(dst); | 
|---|
| 149 | } | 
|---|
| 150 | else if (const_cnt == 2) | 
|---|
| 151 | { | 
|---|
| 152 | const auto col_const_x = assert_cast<const ColumnConst *> (col_x); | 
|---|
| 153 | const auto col_const_y = assert_cast<const ColumnConst *> (col_y); | 
|---|
| 154 | size_t start_index = 0; | 
|---|
| 155 | UInt8 res = isPointInEllipses(col_const_x->getValue<Float64>(), col_const_y->getValue<Float64>(), ellipses.data(), ellipses_count, start_index); | 
|---|
| 156 | block.getByPosition(result).column = DataTypeUInt8().createColumnConst(size, res); | 
|---|
| 157 | } | 
|---|
| 158 | else | 
|---|
| 159 | { | 
|---|
| 160 | throw Exception( | 
|---|
| 161 | "Illegal types "+ col_x->getName() + ", "+ col_y->getName() + " of arguments 1, 2 of function "+ getName() + ". Both must be either const or vector", | 
|---|
| 162 | ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT); | 
|---|
| 163 | } | 
|---|
| 164 | } | 
|---|
| 165 |  | 
|---|
| 166 | static bool isPointInEllipses(Float64 x, Float64 y, const Ellipse * ellipses, size_t ellipses_count, size_t & start_index) | 
|---|
| 167 | { | 
|---|
| 168 | size_t index = 0 + start_index; | 
|---|
| 169 | for (size_t i = 0; i < ellipses_count; ++i) | 
|---|
| 170 | { | 
|---|
| 171 | Ellipse el = ellipses[index]; | 
|---|
| 172 | double p1 = ((x - el.x) / el.a); | 
|---|
| 173 | double p2 = ((y - el.y) / el.b); | 
|---|
| 174 | if (x <= el.x + el.a && x >= el.x - el.a && y <= el.y + el.b && y >= el.y - el.b /// Bounding box check | 
|---|
| 175 | && p1 * p1 + p2 * p2 <= 1.0)    /// Precise check | 
|---|
| 176 | { | 
|---|
| 177 | start_index = index; | 
|---|
| 178 | return true; | 
|---|
| 179 | } | 
|---|
| 180 | ++index; | 
|---|
| 181 | if (index == ellipses_count) | 
|---|
| 182 | { | 
|---|
| 183 | index = 0; | 
|---|
| 184 | } | 
|---|
| 185 | } | 
|---|
| 186 | return false; | 
|---|
| 187 | } | 
|---|
| 188 | }; | 
|---|
| 189 |  | 
|---|
| 190 |  | 
|---|
| 191 | void registerFunctionPointInEllipses(FunctionFactory & factory) | 
|---|
| 192 | { | 
|---|
| 193 | factory.registerFunction<FunctionPointInEllipses>(); | 
|---|
| 194 | } | 
|---|
| 195 |  | 
|---|
| 196 | } | 
|---|
| 197 |  | 
|---|