Dotaz: C++: jak lokální proměnná dokáže způsobit chybu při linkování?

[ttt]

Mám následující kód v C++:

template <typename Stringish>
http_rep http_client::post(const std::string& path, Stringish&& body) const
{
	std::map<std::string, std::string> foo; // po odstranění tohoto řádku chyba zmizí
	return http_rep();
}
template http_rep http_client::post<>(
	const std::string& path, std::string&& body) const;

Kompilace skončí s chybou:

Error LNK2005 "public: class std::_Tree_iterator<class std::_Tree_val<struct std::_Tree_simple_types<struct std::pair<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > const ,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > > > > > __cdecl std::_Tree<class std::_Tmap_traits<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,struct std::less<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >,class std::allocator<struct std::pair<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > const ,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > > >,0> >::end(void)" (?end@?$_Tree@V?$_Tmap_traits@V?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@V12@U?$less@V?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@@2@V?$allocator@U?$pair@$$CBV?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@V12@@std@@@2@$0A@@std@@@std@@QEAA?AV?$_Tree_iterator@V?$_Tree_val@U?$_Tree_simple_types@U?$pair@$$CBV?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@V12@@std@@@std@@@std@@@2@XZ) already defined in http.obj

Pokud zakomentuju řádek std::map<std::string, std::string> foo;, projekt se zkompiluje. I třeba pokud změním první typ na int (std::map<int, std::string> foo;). Na jménu proměnné nezáleží, chová se to stejně.

Co se tam může dít? Nerozumím, proč zavedení lokální proměnné má vliv na linkování. Tuším, že jsem tu chybu viděl i jindy, ve stejně "divných" případech, třeba po přidání const k jiné lokální proměnné.

Myslím si, že tenhle konkrétní kus kódu je ok, ale jinde v projektu je něco hodně špatně. Ale nenapadá mě co hledat a ta chybová hláška mi zrovna nepomáhá ...

Odpovědi

[debian+]

https://en.cppreference.com/w/cpp/container/map

[Jendа]

Chci, aby u automatických odpovědí mohli ostatní nějak flagnout že je mimo.

[_]

To za tebe dělá nick debian+

[linuxák]

Možná bude problém v tomhle:

An explicit specialization of a function or variable template is inline only if it is declared with the inline specifier or defined as deleted, and independently of whether its function or variable template is inline.

Takže zkus:

template inline http_rep http_client::post<>(...

[tttt]

Zkusil jsem, beze změny. Podařilo se mi teď zreprodukovat chováni i bez šablony, s hlavičkou

http_rep http_client::post(const std::string& path, const std::string& body) const

Přijde mi, že někde přeteče nějaký limit v kompilátoru a on se začne chovat jinak, a pak se projeví chyba, která doteď nebyla vidět. Existuje něco jako nedefinované chování kompilátoru při špatné konstrukci?

[linuxák]

Nedefinované chování překladače při špatné konstrukci neexistuje, ale může to být bug v překladači. Dokážeš do zredukovat na nějaký elementární příklad, který bys sem dal? Případně můžeš zkusit jiný překladač?

[tttt]

Ne jednoduše – projekt má pár desítek tisíc řádek a magický build systém, já tam jen něco dopisuju. Přijde mi pravděpodobnější, že tam je někde něco hodně ošklivého, co se nikdy nemá dělat, než že za to může překladač, ten projekt na to vypadá. Ale pustím se to toho, nic lepšího v zásobě nemám.

[Peter Golis]

Tak to gratulujem. Ako starý je ten projekt, v päťročniciach? Vyzerá že ich mal viac ako 4.

[rodi]

Řádky 7 a 8 jsou také v hlavičkovém souboru? Pokud ano, tak se pravděpodobně pokoušíte vytvořit tu explicitní instanci šablony vícekrát, což není správně.

https://en.cppreference.com/w/cpp/language/function_template - Explicit instantiation - deklarace vizte případy 3 a 4

[tttt]

Ne, explicitní instance šablony byly jen v .cpp. V hlavičkových souborech jsou makra, která hlídají opakované načtení (guards nebo #pragma once). Každopádně teorie o chybě v šabloně padly s tím, že to jde zopakovat i bez šablony.

[Radek Isa]

Hele nechybí ti náhodou v hlavičkovém souboru

#ifndef _TEST_HEADER_ #define _TEST_HEADER_ #endif

Případně nadáváš linkeru dvakrát jeden objektový soubor? "already defined in http.obj" tohle znamená, že existují minimálně dva objekty stejně pojmenované. Proto bych hledal chybu v překladovém systému, nebo něco na způsob vkládání (include) jednoho stejného souboru dvakrát.

[tttt]

V hlavičkových souborech je

#ifndef _TEST_HEADER_ #define _TEST_HEADER_ #endif 

nebo

#pragma once

ověřoval jsem, že pragmu kompilátor podporuje.

Mám teď teorii, že je někde v hlavičkovém souboru i definice a linker ten soubor dostane dvakrát, jak píšeš. Pokud překladač danou funkci inlinuje, tak se chyba neprojeví. Dává mi smysl, že kompilátor při objevení složitější proměnné přehodnotí inlinování, což vysvětluje, proč se to chování mění s odstraněním řádku. Příklad na to linkování je třeba na http://www.cplusplus.com/forum/beginner/104849/

objdump toho http.obj by nepomohl?

[MadCatX]

Pokud to čtu dobře, dochází k násobné definici symbolu KUREVSKY_SLOŽITÁ_TEMPLATE::end(), v tvém případě iterátorové funkce end() pro std::map. Podívej se, kde jinde v kódu používáš std::map<std::string, std::string> a jak. Když změníš typ klíče na int, vypadá funkce end() jinak a už k té kolizi nedojde. Skoro to vypadá, jako by se ti z nějaké překladové jednotky jiné než http.obj ta funkce end() exportovala a proto se ti to srazí. Absolutní rána do prázdna: neprovádíš tam někde explicitní instanciace funkcí, co by žraly std:map<std::string, std::string> jako parametr?

[tttt]

std::map se tam skoro nepoužívá, šel jsem po výskytech. V jiném .cpp souboru je tato třída (ořezal jsem ji na minimum)

namespace {
	class foo {
	public:
		foo();
                std::map<std::string, std::string> namespaces; 
	};
	foo::foo() {};
}

Takto to vyvolá chybu [1], což čtu jako konstruktor std::map<std::string, std::string>(). Zakomentování řádku v původním postu stačí, aby se to zkompilovalo. Kompilace také projde, pokud kód vypadá takto:

namespace {
	class foo {
	public:
		foo();
		// std::map<std::string, std::string> namespaces;
	};
	foo::foo() {};
}

nebo takto

namespace {
 class foo { 
    public: foo() {}; 
    std::map<std::string, std::string> namespaces; 
  }; 
}

V příslušném hlavičkovém souboru se třída foo nevyskytuje, jen v .cpp souboru. Nepoužívá se nikde (smazal jsem výskyty). Vysvětlení mě zatím nenapadá, zatím přemýšlím, co to říká.

[1] Error LNK2005 "public: __cdecl std::map<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,struct std::less<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >,class std::allocator<struct std::pair<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > const ,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > > > >::map<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >,struct std::less<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >,class std::allocator<struct std::pair<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > const ,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > > > >(void)" (??0?$map@V?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@V12@U?$less@V?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@@2@V?$allocator@U?$pair@$$CBV?$basic_string@DU?$char_traits@D@std@@V?$allocator@D@2@@std@@V12@@std@@@2@@std@@QEAA@XZ) already defined in http.obj

[MadCatX]

Je zřejmé, že se definice funkcí pro std::map<std::string, std::string> objevují ve více překladových jednotkách a mají externí linkage, ale to ti asi došlo. S touhle situací by si měl linker poradit, protože u šablonových funkcí se tohle prostě děje. Zmínil jsi, že ten projekt má nějaký podivný build systém, možná bych se podíval, jestli se tam nějak podivně nešaškuje s STL kontejnery. Fakt by to chtělo nějaký minimální zkompilovatelný příklad, kdy se to rozbije.

[Jardik]

namespace {
    class foo {
    public:
        foo();
                std::map<std::string, std::string> namespaces; 
    };
    inline foo::foo() {};
}

Zkus to takto. Chybi ti tam inline a pokud ten header includnes ze 2 cpp, budes tam mit 2 symboly pro ten jeden ctor. To, ze to funguje se zakomentovanou mapou, bude mozna kvuli optimalizaci, protoze ctor je pak noop.