| 738 | |
| 739 | template <typename T> |
| 740 | void saveStdVectorToFile(const std::vector<T>& list, const char* filePath) { |
| 741 | std::ofstream outputFile(filePath, std::ofstream::binary); |
| 742 | // Size of the vector |
| 743 | write<int32_t>(list.size(), outputFile); |
| 744 | |
| 745 | outputFile.write( |
| 746 | reinterpret_cast<const char*>(list.data()), list.size() * sizeof(T)); |
| 747 | outputFile.close(); |
| 748 | } |
| 749 | |
| 750 | template void saveStdVectorToFile<column_index_t>( |
| 751 | const std::vector<column_index_t>& list, |