Ich wollte durch ein Vector iterieren, von dem ein Pointer auf das erste Element in einem Object (Clause) gespeichert ist, dass wiederrum in einem Vector gespeichert ist. Also insgesamt durch zwei Vectoren.
Ich habe mir das folgendermaßen gedacht

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
   std::cout << it->cLiterals->meta.lit;
   it.cLiterals++;
}
}

Das funktioniert leider überhaupt nicht. Compilermeldung:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

Also letztlich wollte ich einmal durch alle lit iterieren-
Der Skolemvector wurde folgendermaßen "gefüllt".

Pointerlits = &litContainerForSkolemCube[0];
  std::cout << "CompilierTest";
  uint32_t id_149 = 188;
  Clause* NewSkolemCube = new Clause(Pointerlits, newBound, id_149);
  SkolemFunctions.push_back(NewSkolemCube);

Hallo,

Ich wollte durch ein Vector iterieren, von dem ein Pointer auf das erste Element in einem Object (Clause) gespeichert ist, dass wiederrum in einem Vector gespeichert ist.

Verstehe nur Bahnhof.
1. Du hast einen Vector a
2. Ein Zeiger p auf das erste Element (des Vectors - also a[0], mithin p = &a[0]) ist in einem (anderen) Objekt b gespeicht.
3. Jenes andere Obbjekt b lebt in einem anderen Vector c.
Was hat p mit dem Iterieren über a zu tun?

DerLernende schrieb:

Ich habe mir das folgendermaßen gedacht

Das funktioniert leider überhaupt nicht. Compilermeldung:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

DerLernende schrieb:

Der Skolemvector wurde folgendermaßen "gefüllt".

Keineswegs. Das wäre so, wenn der Compiler sich nicht beschweren würde, sondern ein Programm erstellte, welches dann ggf. nicht wie gewünscht arbeitet. Das ist aber nicht der Fall. Was wir in C++ bei Compilerfehlern in der Regel (nur) benötigen, sind die Deklarationen der beteiligten Funktionen und Variablen (ggf. mit Initialisierung bei Konstanten) und die Definitionen beteiligter Klassen und Templates.

Hallo,

Ich wollte durch ein Vector iterieren, von dem ein Pointer auf das erste Element in einem Object (Clause) gespeichert ist, dass wiederrum in einem Vector gespeichert ist. Also insgesamt durch zwei Vectoren.
Ich habe mir das folgendermaßen gedacht

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
   std::cout << it->cLiterals->meta.lit;
   it.cLiterals++;
}
}

Das funktioniert leider überhaupt nicht. Compilermeldung:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

Also letztlich wollte ich einmal durch alle lit iterieren-
Der Skolemvector wurde folgendermaßen "gefüllt".

Pointerlits = &litContainerForSkolemCube[0];
  std::cout << "CompilierTest";
  uint32_t id_149 = 188;
  Clause* NewSkolemCube = new Clause(Pointerlits, newBound, id_149);
  SkolemFunctions.push_back(NewSkolemCube);

wenn ich dich richtig verstehe...

warum sollte it auf dein objekt zeigen?
wie du schon erkannt hast funktioniert das eine doch ...

warum nicht so?

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) 
{
  while(SkolemFunctions[it]->cLiterals->meta.lit != 0) 
  { 
   std::cout << SkolemFunctions[it]->cLiterals->meta.lit;
   SkolemFunctions[it].cLiterals++;
  }
}

also wenn du nichts anderes mit it machst als hier gezeigt sehe ich nicht warum die variable it auf cLiterals->meta.lit zeigen sollte ?

SeppJ schrieb:

Bitte vollständiges Minimalbeispiel.

hoff ich konnte helfen
lg

DerLernende schrieb:

Hallo,

Ich wollte durch ein Vector iterieren, von dem ein Pointer auf das erste Element in einem Object (Clause) gespeichert ist, dass wiederrum in einem Vector gespeichert ist. Also insgesamt durch zwei Vectoren.
Ich habe mir das folgendermaßen gedacht

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
   std::cout << it->cLiterals->meta.lit;
   it.cLiterals++;
}
}

Das funktioniert leider überhaupt nicht. Compilermeldung:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

Also letztlich wollte ich einmal durch alle lit iterieren-
Der Skolemvector wurde folgendermaßen "gefüllt".

Pointerlits = &litContainerForSkolemCube[0];
  std::cout << "CompilierTest";
  uint32_t id_149 = 188;
  Clause* NewSkolemCube = new Clause(Pointerlits, newBound, id_149);
  SkolemFunctions.push_back(NewSkolemCube);

wenn ich dich richtig verstehe...

warum sollte it auf dein objekt zeigen?
wie du schon erkannt hast funktioniert das eine doch ...

warum nicht so?

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) 
{
  while(SkolemFunctions[it]->cLiterals->meta.lit != 0) 
  { 
   std::cout << SkolemFunctions[it]->cLiterals->meta.lit;
   SkolemFunctions[it].cLiterals++;
  }
}

also wenn du nichts anderes mit it machst als hier gezeigt sehe ich nicht warum die variable it auf cLiterals->meta.lit zeigen sollte ?

SeppJ schrieb:

Bitte vollständiges Minimalbeispiel.

hoff ich konnte helfen
lg

vergiss das einfach hab nicht richtig gelesen sry
mein fehler.

it sollte nat. so zugriff haben:

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) 
{
  while(it->cLiterals->meta.lit != 0) 
  { 
    //...
  }
}

mein beispiel war falsch sry

lg

Bitte vollständiges Minimalbeispiel.

Ich habe einen Vector, dieser besteht aus Objecten (Clause). Diese Objecte haben unter anderem einen Pointer auf einen weiteren Vector. und ich möchte alle Inhalte dieser unter Vectoren ausgeben. Die sich im großen Vektor befinden. Angenommen ich habe die Vectoren A, B und C mit den Inhalten A = (1, 2, 3, 0) , B = (4,5,6,0) und C (7,8,9,0). Auf das erste Element dieser Vectoren setzte ich Pointer auf das erste Element. so erhalte ich die Pointer a, b und c. Jeweils einen dieser Pointer gebe ich jeweils einem Clause Obkject über den Konstruktor mit. Diese Clauseln speicher ich alle in einem Vector Skolemfuctions.

Nun möchte ich +ber Skolemfunctions iterieren, so dass die Ausgabe lautet (1,2,3,4,5,6,7,8,9)

hoffe ich konnte mein Problem etwas verdeutlichen

HelPeRsS schrieb:

DerLernende schrieb:

Hallo,

Ich wollte durch ein Vector iterieren, von dem ein Pointer auf das erste Element in einem Object (Clause) gespeichert ist, dass wiederrum in einem Vector gespeichert ist. Also insgesamt durch zwei Vectoren.
Ich habe mir das folgendermaßen gedacht

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
   std::cout << it->cLiterals->meta.lit;
   it.cLiterals++;
}
}

Das funktioniert leider überhaupt nicht. Compilermeldung:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

Also letztlich wollte ich einmal durch alle lit iterieren-
Der Skolemvector wurde folgendermaßen "gefüllt".

Pointerlits = &litContainerForSkolemCube[0];
  std::cout << "CompilierTest";
  uint32_t id_149 = 188;
  Clause* NewSkolemCube = new Clause(Pointerlits, newBound, id_149);
  SkolemFunctions.push_back(NewSkolemCube);

wenn ich dich richtig verstehe...

warum sollte it auf dein objekt zeigen?
wie du schon erkannt hast funktioniert das eine doch ...

warum nicht so?

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) 
{
  while(SkolemFunctions[it]->cLiterals->meta.lit != 0) 
  { 
   std::cout << SkolemFunctions[it]->cLiterals->meta.lit;
   SkolemFunctions[it].cLiterals++;
  }
}

also wenn du nichts anderes mit it machst als hier gezeigt sehe ich nicht warum die variable it auf cLiterals->meta.lit zeigen sollte ?

SeppJ schrieb:

Bitte vollständiges Minimalbeispiel.

hoff ich konnte helfen
lg

vergiss das einfach hab nicht richtig gelesen sry
mein fehler.

it sollte nat. so zugriff haben:

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) 
{
  while(it->cLiterals->meta.lit != 0) 
  { 
    //...
  }
}

mein beispiel war falsch sry

lg

Danke. Aber ist das nicht geau das gleichte das ich auch habe?

DerLernende schrieb:

Hallo,

Ich wollte durch ein Vector iterieren, von dem ein Pointer auf das erste Element in einem Object (Clause) gespeichert ist, dass wiederrum in einem Vector gespeichert ist.

Verstehe nur Bahnhof.
1. Du hast einen Vector a
2. Ein Zeiger p auf das erste Element (des Vectors - also a[0], mithin p = &a[0]) ist in einem (anderen) Objekt b gespeicht.
3. Jenes andere Obbjekt b lebt in einem anderen Vector c.
Was hat p mit dem Iterieren über a zu tun?

DerLernende schrieb:

Ich habe mir das folgendermaßen gedacht

Das funktioniert leider überhaupt nicht. Compilermeldung:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

DerLernende schrieb:

Der Skolemvector wurde folgendermaßen "gefüllt".

Keineswegs. Das wäre so, wenn der Compiler sich nicht beschweren würde, sondern ein Programm erstellte, welches dann ggf. nicht wie gewünscht arbeitet. Das ist aber nicht der Fall. Was wir in C++ bei Compilerfehlern in der Regel (nur) benötigen, sind die Deklarationen der beteiligten Funktionen und Variablen (ggf. mit Initialisierung bei Konstanten) und die Definitionen beteiligter Klassen und Templates.

beteiligt sind unter anderem

Im Vector

std::vector<Clause*> SkolemFunctions; (global)

werden die Clauseln gespeichert.

Die Clauseln ( Hier ist der Code nicht von mir)

class Clause {
 public:
  // Clauses' data

  // The literals
  Literal* cLiterals;

  Literal wl1;
  Literal wl2;
  Literal wl3;
size_t cBound;

  // A flag, can be used for, e.g., mark the clause as to delete
  // cFlag == 0 : nothing
  // cFlag == 1 : delete clause
  uint32_t cFlag;

  // The clause ID
  uint32_t cID;

  // Constuctor:
  // bound: pointer to the first universal ( existential ) literal in a clause ( cube ) 
  // points to the clause stopper 0, if there is no universal/existential literal
  Clause ( Literal* literals, size_t bound, uint32_t id ) :
	cLiterals( literals ),
	wl1(0),
	wl2(0),
	wl3(0),
	cBound( bound ),
	cFlag( 0 ),
	cID( id )
	  { 
		assert( literals != nullptr );
	  }

  // Destructor
  ~Clause( void ) { delete [] cLiterals; }

Unter cLiteralsbei den Clauseln werden die Literale gespeichert- ( Die Klasse hat noch ein paar funktionalitäten mehr aber das sollte das wesentliche sein)

union Literal {
  struct meta_ {
    uint32_t lit;
    uint32_t lvl;
    meta_( void ) : lit(0), lvl(0) {}
    meta_( const uint32_t& literal, const uint32_t& level  ) : lit(literal), lvl(level) {}
  } meta;
  uint64_t data;
  Literal( const uint64_t& in ): data(in) {}
  Literal( void ): data(0) {}
  Literal( Literal const& in ): data(in.data) {}
  Literal( uint32_t const& litId, uint32_t const& litLvl, bool const& tag, bool const& constraint ): 
    meta(
		 litId, 
		 (
		  // I changed this, such that the level is now always given by the bits 01fffffff in data.lvl.
		  // 0x20000000 == 1 iff literal is forall (also 0x00000001 == 1 iff literal is forall)
		  // I think 0x1fffffff should be enough and the version before was a little bit confusing
		  // reminder: 0x20000000 has to "1" for universal lits, so that we can easily sort clauses...
		  ( ( litLvl & 0x1 ) ? ( litLvl | 0x20000000 ) : litLvl ) | ( tag ? 0x80000000 : 0 ) | ( constraint ? 0x40000000 : 0 ) ) )
  { assert(litLvl <= levelMax); }
  ~Literal( void ) {}

Ich möchte nun so über Skolemfunctions iterieren dass ich alle auf einen Schlag lits von jedem Clause-Object bekomme

damit ist alles klar (wir hätten nat. auch die Fehlermeldung genauer studieren können, aber das wäre weniger lehrreich).

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
  //        ^ hier stolpert der Compiler

Dein Container speichert Zeiger. Mithin ist

*it

auch ein Zeiger und da

it->foo

äquvialent ist zu

(*it).foo

versucht

it->cLiterals

auf ein Member cLiterals eines Zeigers zuzugreifen. Das geht nat. nicht. Ein zusätzliche Dereferenzierung ist erforderlich:

(*it)->cLiterals

Mit der neu in C++11 eingeführten for-Variante spart man sich das, da dort die Schleifenvariable bereits ein Element repräsentiert und nicht nur ein Iterator darauf ist:

for (auto& skolemFunc : SkolemFunctions) {
  while(skolemFunc->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
    std::cout << skolemFunc->cLiterals->meta.lit;
    skolemFunc->cLiterals++;
  }
}

So hätte der Eingangspost aussehen können:

Hallo,

Ich habe

std::vector<Clause*> SkolemFunctions;

und möchte über diesen Vector iterieren:

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
//          ^ Fehlermeldung hier
   std::cout << it->cLiterals->meta.lit;
   it.cLiterals++;
}
}

Leider gefällt das dem Compiler nicht:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

Was mache ich falsch?

1. Bitte vorhanden Code nach Möglichkeit nicht durch Prosa ersetzen.
2. Die genaue Stelle (der Compiler gibt Zeile und Spalte an) der Fehlermeldung mitteilen. Die Zeilennummern stimmen logischerweise i.d.R. nicht überein - so dass für uns die Zuordnung schwierig sein kann.

std::vector<Clause*> SkolemFunctions; (global)

damit ist alles klar (wir hätten nat. auch die Fehlermeldung genauer studieren können, aber das wäre weniger lehrreich).

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
  //        ^ hier stolpert der Compiler

Dein Container speichert Zeiger. Mithin ist

*it

auch ein Zeiger und da

it->foo

äquvialent ist zu

(*it).foo

versucht

it->cLiterals

auf ein Member cLiterals eines Zeigers zuzugreifen. Das geht nat. nicht. Ein zusätzliche Dereferenzierung ist erforderlich:

(*it)->cLiterals

Mit der neu in C++11 eingeführten for-Variante spart man sich das, da dort die Schleifenvariable bereits ein Element repräsentiert und nicht nur ein Iterator darauf ist:

for (auto& skolemFunc : SkolemFunctions) {
  while(skolemFunc->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
    std::cout << skolemFunc->cLiterals->meta.lit;
    skolemFunc->cLiterals++;
  }
}

So hätte der Eingangspost aussehen können:

Hallo,

Ich habe

std::vector<Clause*> SkolemFunctions;

und möchte über diesen Vector iterieren:

for (auto it = SkolemFunctions.begin(); it != SkolemFunctions.end(); ++it) {
  //std::cout  << SkolemFunctions[0]->cLiterals->meta.lit; (das hier            
  //funktioniert. Ein Test ob alles richtig abgespeichert wurde.
  while(it->cLiterals->meta.lit != 0) { // habe das Ende mit Null markiert.
//          ^ Fehlermeldung hier
   std::cout << it->cLiterals->meta.lit;
   it.cLiterals++;
}
}

Leider gefällt das dem Compiler nicht:

SkolemCalculatorMain.cpp:412:13: error: request for member ‘cLiterals’ in ‘* it.__gnu_cxx::__normal_iterator<_Iterator, _Container>::operator-><Clause**, std::vector<Clause*> >()’, which is of pointer type ‘Clause*’ (maybe you meant to use ‘->’ ?)
   while(it->cLiterals->meta.lit != 0)

Was mache ich falsch?

1. Bitte vorhanden Code nach Möglichkeit nicht durch Prosa ersetzen.
2. Die genaue Stelle (der Compiler gibt Zeile und Spalte an) der Fehlermeldung mitteilen. Die Zeilennummern stimmen logischerweise i.d.R. nicht überein - so dass für uns die Zuordnung schwierig sein kann.

Super. Vielen Dank. Das funktioniert einwandfrei.