templates - C++ Partial Specialization Not Working for Differing Size Eigen Matrices -


i've been banging head wall last couple of hours trying figure out why partial template specializations failing, , use help.

basically, i'm working on code relies on knowing sizes of matrices @ compile time, i'm trying generically templates. there seems kind of issue using type compositions don't understand. way of illustration, consider following (slightly pointless) code:

template <typename t> struct type1 { typedef bool bar; }; template <typename t, int r, int c> struct type1<matrix<t, r, c>> { typedef matrix<t, r, c> bar; };  template <typename t1, typename t2> struct type2 { typedef bool bar; }; template <typename t, int r, int m, int c> struct type2<matrix<t, r, m>, matrix<t, m, c>> { typedef matrix<float, 2, 2> bar; };  template <typename t1, typename t2> struct type3 { typedef bool bar; }; template <typename t, int r, int m, int c> struct type3<matrix<t, r, m>, matrix<t, m, c>> { typedef matrix<t, r, c> bar; };  template <typename t> struct test {     static bool foo() {         return false;     } }; template <typename t, int r, int c> struct test<matrix<t, r, c>> {     static bool foo() {         return true;     } };

my understanding of template composition these templates should able composed in ways below every line should return true. note, however, last 2 return false.

/* true  <- */  test<matrix<float, 2, 2>>::foo(); /* true  <- */  test<matrix<float, 6, 3>>::foo(); /* true  <- */  test<type1<matrix<float, 2, 7>>::bar>::foo(); /* , on other size . . . */  /* true  <- */  test<type2<matrix<float, 3, 3>, matrix<float, 3, 3>>::bar>::foo(); /* true  <- */  test<type3<matrix<float, 2, 2>, matrix<float, 2, 2>>::bar>::foo(); /* , on other pair of square sizes . . . */  /* false <- */  test<type2<matrix<float, 2, 3>, matrix<float, 3, 2>>::bar>::foo(); /* false <- */  test<type3<matrix<float, 2, 4>, matrix<float, 4, 1>>::bar>::foo(); /* , on other pair of non-square sizes . . . */

what's weird when replace eigen::matrix arbitrary template <typename t, int r, int c> struct thing works expected (ie. tests return true), why think problem specific eigen matrices.

edit: actually, seems tied fact i'm building on msvc (fails identically on both 2015 , 2017). when compile on either g++ or clang, works fine. more evidence visual c++ real mess (not it's needed).

furthermore, seems tied cases 2 parameters have differing sizes. example:

template <typename t1, typename t2> struct typetest { typedef bool bar; }; template <typename t, int r1, int c1, int r2, int c2> struct typetest<matrix<t, r1, c1>, matrix<t, r2, c2>> { typedef matrix<float, 2, 2> bar; };

this succeeds when first , second matrix types have same size, fails when differ. example:

/* true  <- */  test<typetest<matrix<float, 2, 3>, matrix<float, 2, 3>>::bar>::foo(); /* true  <- */  test<typetest<matrix<float, 6, 1>, matrix<float, 6, 1>>::bar>::foo(); /* false <- */  test<typetest<matrix<float, 2, 2>, matrix<float, 2, 3>>::bar>::foo(); /* false <- */  test<typetest<matrix<float, 5, 3>, matrix<float, 2, 4>>::bar>::foo();

unfortunately, i'm stuck msvc time being, owing annoying dependencies, need workaround. have ideas?

just make complete, solution suggested @chtz in comments above totally works msvc 2015 , 2017. way of example specific differing size issue question, works perfectly:

template <typename t1, typename t2> struct typen { typedef bool bar; }; template <typename t, int r, int m, int c, int o1, int o2, int rc1, int rc2, int cc1, int cc2>     struct typen<matrix<t, r, m, o1, rc1, cc1>, matrix<t, m, c, o2, rc2, cc2>> { typedef matrix<t, r, c> bar; }; ... /* true :-) */  test<typen<matrix<float, 2, 3>, matrix<float, 3, 4>>::bar>::foo();

Comments

Post a Comment

Popular posts from this blog

android - InAppBilling registering BroadcastReceiver in AndroidManifest -

i'm implementing inapp billing in android app. works well, however, i'm trying decouple broadcast receiver activity manifest. suggestion in android's trivialdrive sample: // important: dynamically register broadcast messages updated purchases. // register receiver here instead of <receiver> in manifest // because call getpurchases() @ startup, therefore can ignore // broadcasts sent while app isn't running. // note: registering listener in activity bad idea, done here // because sample. regardless, receiver must registered after // iabhelper setup, before first call getpurchases(). currently there's class extends broadcastreceiver : public class iabbroadcastreceiver extends broadcastreceiver { /** * intent action receiver should filter for. */ public static final string action = "com.android.vending.billing.purchases_updated"; private final iabbroadcastlistener mlistener; public iabbroadcastreceiver(iabbroadcastlistener listener) { m...
Read more

python Tkinter Capturing keyboard events save as one single string -

is possible store keyboard events 1 string? code below stores 1 char , prints it. card reader or bar code reader, contains collection of character/ string not 1 character @ time. goal save char pressed text variable. from tkinter import * root = tk() def key(event): text= event.char text+= event.char print ("pressed", text) def callback(event): frame.focus_set() print ("clicked at", event.x, event.y) frame = frame(root, width=100, height=100) frame.bind("<key>", key) frame.bind("<button-1>", callback) frame.pack() root.mainloop() currently, creating text variable , everytime key() function gets called, , text stores last character typed. you can define text module level variable , , use module level text inside key function - text = '' def key(event): global text text+= event.char print("pressed", text)
Read more

sql server - Why does Linq-to-SQL add unnecessary COUNT()? -

here tables: create table customer ( cid int primary key, name varchar(32) ) create table ord ( oid int primary key, cid int foreign key references customer, address varchar(20) ) here's linq-to-sql statement: var aaa = c in db.customer select new { c, o = c.ord.tolist() }; and here's inexplicable query generated linq-to-sql: select [t0].[cid] [cid], [t0].[name] [name], [t1].[oid] [oid], [t1].[cid] [cid2], [t1].[address] [address], (select count(*) [dbo].[ord] [t2] [t2].[cid] = [t0].[cid]) [value] [dbo].[customer] [t0] left outer join [dbo].[ord] [t1] on [t1].[cid] = [t0].[cid] order [t0].[cid], [t1].[oid] i want understand how rid of count(*) part. it's entirely uncalled for! linq needs count(*) in order determine number of entries returned o = c.ord.tolist() .
Read more