IColumn.h 18.0 KB
Newer Older
1
#pragma once
A
Alexey Milovidov 已提交
2

3
#include <Core/Field.h>
4
#include <Common/COWPtr.h>
5
#include <Common/PODArray.h>
6
#include <Common/Exception.h>
P
proller 已提交
7
#include <common/StringRef.h>
A
Alexey Milovidov 已提交
8

9

10 11 12
class SipHash;


A
Alexey Milovidov 已提交
13 14 15
namespace DB
{

16 17
namespace ErrorCodes
{
18 19 20
    extern const int CANNOT_GET_SIZE_OF_FIELD;
    extern const int NOT_IMPLEMENTED;
    extern const int SIZES_OF_COLUMNS_DOESNT_MATCH;
21 22
}

23
class Arena;
24
class ColumnGathererStream;
25

26
/// Declares interface to store columns in memory.
27
class IColumn : public COWPtr<IColumn>
A
Alexey Milovidov 已提交
28
{
29 30 31 32
private:
    friend class COWPtr<IColumn>;

    /// Creates the same column with the same data.
A
Alexey Milovidov 已提交
33 34 35
    /// This is internal method to use from COWPtr.
    /// It performs shallow copy with copy-ctor and not useful from outside.
    /// If you want to copy column for modification, look at 'mutate' method.
36
    virtual MutablePtr clone() const = 0;
37

38
public:
39
    /// Name of a Column. It is used in info messages.
40
    virtual std::string getName() const { return getFamilyName(); }
41 42 43

    /// Name of a Column kind, without parameters (example: FixedString, Array).
    virtual const char * getFamilyName() const = 0;
44 45 46 47

    /** If column isn't constant, returns nullptr (or itself).
      * If column is constant, transforms constant to full column (if column type allows such tranform) and return it.
      */
48
    virtual Ptr convertToFullColumnIfConst() const { return {}; }
49

50 51 52 53
    /// If column isn't ColumnWithDictionary, return itself.
    /// If column is ColumnWithDictionary, transforms is to full column.
    virtual Ptr convertToFullColumnIfWithDictionary() const { return getPtr(); }

54
    /// Creates empty column with the same type.
55
    virtual MutablePtr cloneEmpty() const { return cloneResized(0); }
56 57 58 59

    /// Creates column with the same type and specified size.
    /// If size is less current size, then data is cut.
    /// If size is greater, than default values are appended.
60
    virtual MutablePtr cloneResized(size_t /*size*/) const { throw Exception("Cannot cloneResized() column " + getName(), ErrorCodes::NOT_IMPLEMENTED); }
61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88

    /// Returns number of values in column.
    virtual size_t size() const = 0;

    /// There are no values in columns.
    bool empty() const { return size() == 0; }

    /// Returns value of n-th element in universal Field representation.
    /// Is used in rare cases, since creation of Field instance is expensive usually.
    virtual Field operator[](size_t n) const = 0;

    /// Like the previous one, but avoids extra copying if Field is in a container, for example.
    virtual void get(size_t n, Field & res) const = 0;

    /// If possible, returns pointer to memory chunk which contains n-th element (if it isn't possible, throws an exception)
    /// Is used to optimize some computations (in aggregation, for example).
    virtual StringRef getDataAt(size_t n) const = 0;

    /// Like getData, but has special behavior for columns that contain variable-length strings.
    /// Returns zero-ending memory chunk (i.e. its size is 1 byte longer).
    virtual StringRef getDataAtWithTerminatingZero(size_t n) const
    {
        return getDataAt(n);
    }

    /// If column stores integers, it returns n-th element transformed to UInt64 using static_cast.
    /// If column stores floting point numbers, bits of n-th elements are copied to lower bits of UInt64, the remaining bits are zeros.
    /// Is used to optimize some computations (in aggregation, for example).
A
Alexey Milovidov 已提交
89
    virtual UInt64 get64(size_t /*n*/) const
90 91 92 93
    {
        throw Exception("Method get64 is not supported for " + getName(), ErrorCodes::NOT_IMPLEMENTED);
    }

94
    /** If column is numeric, return value of n-th element, casted to UInt64.
A
Alexey Milovidov 已提交
95
      * For NULL values of Nullable column it is allowed to return arbitary value.
96 97
      * Otherwise throw an exception.
      */
A
Alexey Milovidov 已提交
98
    virtual UInt64 getUInt(size_t /*n*/) const
99 100 101 102
    {
        throw Exception("Method getUInt is not supported for " + getName(), ErrorCodes::NOT_IMPLEMENTED);
    }

A
Alexey Milovidov 已提交
103
    virtual Int64 getInt(size_t /*n*/) const
104 105 106 107
    {
        throw Exception("Method getInt is not supported for " + getName(), ErrorCodes::NOT_IMPLEMENTED);
    }

A
Alexey Milovidov 已提交
108 109
    virtual bool isNullAt(size_t /*n*/) const { return false; }

A
Alexey Milovidov 已提交
110 111 112 113 114 115 116 117 118
    /** If column is numeric, return value of n-th element, casted to bool.
      * For NULL values of Nullable column returns false.
      * Otherwise throw an exception.
      */
    virtual bool getBool(size_t /*n*/) const
    {
        throw Exception("Method getBool is not supported for " + getName(), ErrorCodes::NOT_IMPLEMENTED);
    }

119 120
    /// Removes all elements outside of specified range.
    /// Is used in LIMIT operation, for example.
121
    virtual Ptr cut(size_t start, size_t length) const
122
    {
123
        MutablePtr res = cloneEmpty();
124
        res->insertRangeFrom(*this, start, length);
125
        return res;
126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
    }

    /// Appends new value at the end of column (column's size is increased by 1).
    /// Is used to transform raw strings to Blocks (for example, inside input format parsers)
    virtual void insert(const Field & x) = 0;

    /// Appends n-th element from other column with the same type.
    /// Is used in merge-sort and merges. It could be implemented in inherited classes more optimally than default implementation.
    virtual void insertFrom(const IColumn & src, size_t n) { insert(src[n]); }

    /// Appends range of elements from other column.
    /// Could be used to concatenate columns.
    virtual void insertRangeFrom(const IColumn & src, size_t start, size_t length) = 0;

    /// Appends data located in specified memory chunk if it is possible (throws an exception if it cannot be implemented).
    /// Is used to optimize some computations (in aggregation, for example).
142
    /// Parameter length could be ignored if column values have fixed size.
143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187
    virtual void insertData(const char * pos, size_t length) = 0;

    /// Like getData, but has special behavior for columns that contain variable-length strings.
    /// In this special case inserting data should be zero-ending (i.e. length is 1 byte greater than real string size).
    virtual void insertDataWithTerminatingZero(const char * pos, size_t length)
    {
        insertData(pos, length);
    }

    /// Appends "default value".
    /// Is used when there are need to increase column size, but inserting value doesn't make sense.
    /// For example, ColumnNullable(Nested) absolutely ignores values of nested column if it is marked as NULL.
    virtual void insertDefault() = 0;

    /** Removes last n elements.
      * Is used to support exeption-safety of several operations.
      *  For example, sometimes insertion should be reverted if we catch an exception during operation processing.
      * If column has less than n elements or n == 0 - undefined behavior.
      */
    virtual void popBack(size_t n) = 0;

    /** Serializes n-th element. Serialized element should be placed continuously inside Arena's memory.
      * Serialized value can be deserialized to reconstruct original object. Is used in aggregation.
      * The method is similar to getDataAt(), but can work when element's value cannot be mapped to existing continuous memory chunk,
      *  For example, to obtain unambiguous representation of Array of strings, strings data should be interleaved with their sizes.
      * Parameter begin should be used with Arena::allocContinue.
      */
    virtual StringRef serializeValueIntoArena(size_t n, Arena & arena, char const *& begin) const = 0;

    /// Deserializes a value that was serialized using IColumn::serializeValueIntoArena method.
    /// Returns pointer to the position after the read data.
    virtual const char * deserializeAndInsertFromArena(const char * pos) = 0;

    /// Update state of hash function with value of n-th element.
    /// On subsequent calls of this method for sequence of column values of arbitary types,
    ///  passed bytes to hash must identify sequence of values unambiguously.
    virtual void updateHashWithValue(size_t n, SipHash & hash) const = 0;

    /** Removes elements that don't match the filter.
      * Is used in WHERE and HAVING operations.
      * If result_size_hint > 0, then makes advance reserve(result_size_hint) for the result column;
      *  if 0, then don't makes reserve(),
      *  otherwise (i.e. < 0), makes reserve() using size of source column.
      */
    using Filter = PaddedPODArray<UInt8>;
188
    virtual Ptr filter(const Filter & filt, ssize_t result_size_hint) const = 0;
189 190 191 192

    /// Permutes elements using specified permutation. Is used in sortings.
    /// limit - if it isn't 0, puts only first limit elements in the result.
    using Permutation = PaddedPODArray<size_t>;
193
    virtual Ptr permute(const Permutation & perm, size_t limit) const = 0;
194

N
Nikolai Kochetov 已提交
195 196
    /// Creates new column with values column[indexes[:limit]]. If limit is 0, all indexes are used.
    /// Indexes must be one of the ColumnUInt. For default implementation, see selectIndexImpl from ColumnsCommon.h
197
    virtual Ptr index(const IColumn & indexes, size_t limit) const = 0;
N
Nikolai Kochetov 已提交
198

199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223
    /** Compares (*this)[n] and rhs[m].
      * Returns negative number, 0, or positive number (*this)[n] is less, equal, greater than rhs[m] respectively.
      * Is used in sortings.
      *
      * If one of element's value is NaN or NULLs, then:
      * - if nan_direction_hint == -1, NaN and NULLs are considered as least than everything other;
      * - if nan_direction_hint ==  1, NaN and NULLs are considered as greatest than everything other.
      * For example, if nan_direction_hint == -1 is used by descending sorting, NaNs will be at the end.
      *
      * For non Nullable and non floating point types, nan_direction_hint is ignored.
      */
    virtual int compareAt(size_t n, size_t m, const IColumn & rhs, int nan_direction_hint) const = 0;

    /** Returns a permutation that sorts elements of this column,
      *  i.e. perm[i]-th element of source column should be i-th element of sorted column.
      * reverse - reverse ordering (acsending).
      * limit - if isn't 0, then only first limit elements of the result column could be sorted.
      * nan_direction_hint - see above.
      */
    virtual void getPermutation(bool reverse, size_t limit, int nan_direction_hint, Permutation & res) const = 0;

    /** Copies each element according offsets parameter.
      * (i-th element should be copied offsets[i] - offsets[i - 1] times.)
      * It is necessary in ARRAY JOIN operation.
      */
224 225
    using Offset = UInt64;
    using Offsets = PaddedPODArray<Offset>;
226
    virtual Ptr replicate(const Offsets & offsets) const = 0;
227 228 229 230 231 232 233

    /** Split column to smaller columns. Each value goes to column index, selected by corresponding element of 'selector'.
      * Selector must contain values from 0 to num_columns - 1.
      * For default implementation, see scatterImpl.
      */
    using ColumnIndex = UInt64;
    using Selector = PaddedPODArray<ColumnIndex>;
234
    virtual std::vector<MutablePtr> scatter(ColumnIndex num_columns, const Selector & selector) const = 0;
235

236 237 238 239 240 241
    /// Insert data from several other columns according to source mask (used in vertical merge).
    /// For now it is a helper to de-virtualize calls to insert*() functions inside gather loop
    /// (descendants should call gatherer_stream.gather(*this) to implement this function.)
    /// TODO: interface decoupled from ColumnGathererStream that allows non-generic specializations.
    virtual void gather(ColumnGathererStream & gatherer_stream) = 0;

242 243 244 245 246 247 248 249 250 251
    /** Computes minimum and maximum element of the column.
      * In addition to numeric types, the funtion is completely implemented for Date and DateTime.
      * For strings and arrays function should retrurn default value.
      *  (except for constant columns; they should return value of the constant).
      * If column is empty function should return default value.
      */
    virtual void getExtremes(Field & min, Field & max) const = 0;

    /// Reserves memory for specified amount of elements. If reservation isn't possible, does nothing.
    /// It affects performance only (not correctness).
252
    virtual void reserve(size_t /*n*/) {}
253 254 255 256 257 258 259

    /// Size of column data in memory (may be approximate) - for profiling. Zero, if could not be determined.
    virtual size_t byteSize() const = 0;

    /// Size of memory, allocated for column.
    /// This is greater or equals to byteSize due to memory reservation in containers.
    /// Zero, if could be determined.
260
    virtual size_t allocatedBytes() const = 0;
261

A
Alexey Milovidov 已提交
262 263
    /// If the column contains subcolumns (such as Array, Nullable, etc), do callback on them.
    /// Shallow: doesn't do recursive calls; don't do call for itself.
264
    using ColumnCallback = std::function<void(Ptr&)>;
265 266
    virtual void forEachSubcolumn(ColumnCallback) {}

267

268
    MutablePtr mutate() const &&
269
    {
270
        MutablePtr res = COWPtr<IColumn>::mutate();
271
        res->forEachSubcolumn([](Ptr & subcolumn) { subcolumn = (*std::move(subcolumn)).mutate(); });
272 273 274 275
        return res;
    }


276 277 278 279 280 281 282
    /** Some columns can contain another columns inside.
      * So, we have a tree of columns. But not all combinations are possible.
      * There are the following rules:
      *
      * ColumnConst may be only at top. It cannot be inside any column.
      * ColumnNullable can contain only simple columns.
      */
283 284 285

    /// Various properties on behaviour of column type.

286 287 288 289 290 291
    /// Is this column a container for Nullable values? It's true only for ColumnNullable.
    /// Note that ColumnConst(ColumnNullable(...)) is not considered.
    virtual bool isColumnNullable() const { return false; }

    /// Column stores a constant value. It's true only for ColumnConst wrapper.
    virtual bool isColumnConst() const { return false; }
292

293 294
    /// It's a special kind of column, that contain single value, but is not a ColumnConst.
    virtual bool isDummy() const { return false; }
295

A
Alexey Milovidov 已提交
296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312
    /** Memory layout properties.
      *
      * Each value of a column can be placed in memory contiguously or not.
      *
      * Example: simple columns like UInt64 or FixedString store their values contiguously in single memory buffer.
      *
      * Example: Tuple store values of each component in separate subcolumn, so the values of Tuples with at least two components are not contiguous.
      * Another example is Nullable. Each value have null flag, that is stored separately, so the value is not contiguous in memory.
      *
      * There are some important cases, when values are not stored contiguously, but for each value, you can get contiguous memory segment,
      *  that will unambiguously identify the value. In this case, methods getDataAt and insertData are implemented.
      * Example: String column: bytes of strings are stored concatenated in one memory buffer
      *  and offsets to that buffer are stored in another buffer. The same is for Array of fixed-size contiguous elements.
      *
      * To avoid confusion between these cases, we don't have isContiguous method.
      */

313 314
    /// Values in column have fixed size (including the case when values span many memory segments).
    virtual bool valuesHaveFixedSize() const { return isFixedAndContiguous(); }
315

316 317
    /// Values in column are represented as continuous memory segment of fixed size. Implies valuesHaveFixedSize.
    virtual bool isFixedAndContiguous() const { return false; }
318

319 320 321
    /// If isFixedAndContiguous, returns the underlying data array, otherwise throws an exception.
    virtual StringRef getRawData() const { throw Exception("Column " + getName() + " is not a contiguous block of memory", ErrorCodes::NOT_IMPLEMENTED); }

322 323 324 325 326 327
    /// If valuesHaveFixedSize, returns size of value, otherwise throw an exception.
    virtual size_t sizeOfValueIfFixed() const { throw Exception("Values of column " + getName() + " are not fixed size.", ErrorCodes::CANNOT_GET_SIZE_OF_FIELD); }

    /// Column is ColumnVector of numbers or ColumnConst of it. Note that Nullable columns are not numeric.
    /// Implies isFixedAndContiguous.
    virtual bool isNumeric() const { return false; }
328

329 330 331
    /// If the only value column can contain is NULL.
    /// Does not imply type of object, because it can be ColumnNullable(ColumnNothing) or ColumnConst(ColumnNullable(ColumnNothing))
    virtual bool onlyNull() const { return false; }
332

333 334
    /// Can be inside ColumnNullable.
    virtual bool canBeInsideNullable() const { return false; }
335

336 337
    virtual bool withDictionary() const { return false; }

338

339
    virtual ~IColumn() {}
340

A
Alexey Milovidov 已提交
341 342
    /** Print column name, size, and recursively print all subcolumns.
      */
343 344
    String dumpStructure() const;

345 346
protected:

347 348 349
    /// Template is to devirtualize calls to insertFrom method.
    /// In derived classes (that use final keyword), implement scatter method as call to scatterImpl.
    template <typename Derived>
350
    std::vector<MutablePtr> scatterImpl(ColumnIndex num_columns, const Selector & selector) const
351 352
    {
        size_t num_rows = size();
353

354
        if (num_rows != selector.size())
355 356 357
            throw Exception(
                    "Size of selector: " + std::to_string(selector.size()) + " doesn't match size of column: " + std::to_string(num_rows),
                    ErrorCodes::SIZES_OF_COLUMNS_DOESNT_MATCH);
358

359
        std::vector<MutablePtr> columns(num_columns);
360 361
        for (auto & column : columns)
            column = cloneEmpty();
362

363
        {
364
            size_t reserve_size = num_rows * 1.1 / num_columns;    /// 1.1 is just a guess. Better to use n-sigma rule.
365

366 367 368 369
            if (reserve_size > 1)
                for (auto & column : columns)
                    column->reserve(reserve_size);
        }
370

371 372
        for (size_t i = 0; i < num_rows; ++i)
            static_cast<Derived &>(*columns[selector[i]]).insertFrom(*this, i);
373

374 375
        return columns;
    }
A
Alexey Milovidov 已提交
376 377
};

378
using ColumnPtr = IColumn::Ptr;
379
using MutableColumnPtr  = IColumn::MutablePtr;
380
using Columns = std::vector<ColumnPtr>;
381
using MutableColumns = std::vector<MutableColumnPtr>;
382 383

using ColumnRawPtrs = std::vector<const IColumn *>;
384
//using MutableColumnRawPtrs = std::vector<IColumn *>;
A
Alexey Milovidov 已提交
385

N
Nikolai Kochetov 已提交
386 387 388 389 390 391 392 393 394 395 396 397
template <typename ... Args>
struct IsMutableColumns;

template <typename Arg, typename ... Args>
struct IsMutableColumns<Arg, Args ...>
{
    static const bool value = std::is_assignable<MutableColumnPtr &&, Arg>::value && IsMutableColumns<Args ...>::value;
};

template <>
struct IsMutableColumns<> { static const bool value = true; };

A
Alexey Milovidov 已提交
398
}