Pertanyaan yang diberi tag «templates»

Saya ingin membandingkan struct dengan cara yang umum dan saya telah melakukan sesuatu seperti ini (saya tidak dapat membagikan sumber yang sebenarnya, jadi tanyakan lebih detail jika perlu): template<typename Data> bool structCmp(Data data1, Data data2) { void* dataStart1 = (std::uint8_t*)&data1; void* dataStart2 = (std::uint8_t*)&data2; return memcmp(dataStart1, dataStart2, sizeof(Data)) == 0; …

13 c++  templates  struct  padding  memcmp 

Ketika kita ingin menggunakan static_assertdalam if constexprkita harus membuat kondisi tergantung pada beberapa parameter template. Menariknya, gcc dan dentang tidak setuju ketika kode tersebut dibungkus dengan lambda. Kode berikut dikompilasi dengan gcc, tetapi dentang memicu pernyataan, bahkan jika itu if constexprtidak benar. #include <utility> template<typename T> constexpr std::false_type False; template<typename …

13 c++  templates  language-lawyer  c++17  static-assert 

Hingga standar C ++ 20 dari C ++, ketika kami ingin mendefinisikan operator di luar kelas yang menggunakan beberapa anggota pribadi dari kelas templat, kami akan menggunakan konstruksi yang mirip dengan ini: template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs, const Foo<T>& rhs); template <typename T> …

12 c++  templates  c++20 

Karena konsep didefinisikan sebagai predikat waktu kompilasi, apakah mungkin untuk menggunakan kembali predikat ini untuk algoritme waktu kompilasi? Misalnya, apakah mungkin untuk memeriksa apakah semua tipe dalam tuple sesuai dengan konsep? Sejauh yang saya lihat, tidak mungkin untuk meneruskan konsep ke fungsi dengan cara apa pun, jenis apa yang membuat …

12 c++  templates  template-meta-programming  c++20  concept 

Pertimbangkan kode berikut: template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } Saat membandingkan kompilasi dengan g ++ dengan perintah Bash berikut (dengan g ++ 8.3.0) for ((level=1; level<30; ++level)); do echo -n ${level}, …

12 c++  templates  gcc  compilation 

Contoh tidak masuk akal berikut ini tidak mengkompilasi, tetapi apakah ada cara lain untuk meneruskan templat variabel sebagai argumen templat templat? template<typename T> constexpr auto zero = T{0}; template<typename T, template<typename> auto VariableTemplate> constexpr auto add_one() { return VariableTemplate<T> + T{1}; } int main() { return add_one<int, zero>(); } Coba …

11 c++  templates  c++14  template-templates  variable-templates 

Saya memiliki kode yang menemukan dan mencetak kecocokan suatu pola ketika melewati wadah string. Pencetakan dilakukan dalam fungsi foo yang templated Kode #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class Container> void foo(Iterator first, Container<std::pair<Iterator, Iterator>> const &findings) { for …

10 c++  c++11  templates  language-lawyer  template-templates 

Pertimbangkan 2 kelebihan berikut ini template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } Yang pertama berfungsi untuk kelas reguler, sedangkan yang kedua berfungsi untuk templat yang tidak dipakai. Contohnya: std::cout<<test<int>()<<std::endl; <-- this yields 1 std::cout<<test<std::list>()<<std::endl; <--this yields 0 Sekarang pertimbangkan …

10 c++  templates  gcc  clang  c++17 

Pertimbangkan program berikut. #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } Program berhasil dikompilasi dan hasilnya …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

Saya telah membaca tentang menghapus referensi jenis, di sini . Ini memberi contoh berikut: #include <iostream> // std::cout #include <type_traits> // std::is_same template<class T1, class T2> void print_is_same() { std::cout << std::is_same<T1, T2>() << '\n'; } int main() { std::cout << std::boolalpha; print_is_same<int, int>(); print_is_same<int, int &>(); print_is_same<int, int &&>(); …

10 c++  c++11  templates  typetraits  dependent-name 

#include<iostream> #include<string> template <typename T> void swap(T a , T b) { T temp = a; a = b; b = temp; } template <typename T1> void swap1(T1 a , T1 b) { T1 temp = a; a = b; b = temp; } int main() { int a = …

9 c++  templates  pass-by-reference  pass-by-value  stdstring 

Diberikan kerangka templat berikut: template<typename T> struct Foo { Foo(T&&) {} }; Ini mengkompilasi, dan Tdisimpulkan menjadi int: auto f = Foo(2); Tetapi ini tidak dapat dikompilasi: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template arguments …

9 c++  templates  language-lawyer 

Saya memiliki kode berikut: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Saat membuat ini dengan gcc 9.2 dan dentang (9.0), saya mendapatkan …

9 c++  templates  language-lawyer  dependent-name 

Saya ingin melewatkan pointer fungsi dari array pointer fungsi sebagai argumen templat. Kode saya tampaknya dikompilasi menggunakan MSVC meskipun Intellisense mengeluh bahwa ada sesuatu yang salah. Baik gcc dan dentang gagal mengkompilasi kode. Perhatikan contoh berikut: static void test() {} using FunctionPointer = void(*)(); static constexpr FunctionPointer functions[] = { …

9 c++  templates  c++14 

#include <iostream> using namespace std; template <class X, class Y> Y big(X a, Y b) { if (a > b) return (a); else return (b); } int main() { cout << big(32.8, 9); } Di sini saya menggunakan template di CPP, jadi ketika saya memanggil fungsi bigmem-bypass argumen doubledan intmengetik, …

9 c++  function  templates  return-type  function-templates